コンビネータ論理を考案したシェーンフィンケリが示したけど、あまり知られていないらしい。
コンビネータ論理についてネット検索してた時に見かけた記事で読んだんだけど、今探したらちょっと見つけられなかった。
束縛変項に関する公理がなんか姑息というか、美しくないように感じるので、これを消せないかと思ってコンビネータ論理について色々調べてたんだが、コンビネータ論理って inconsistent らしいのね。
>>48
違うアプローチみたいだけど面白そう。その本は持ってないけど買ってみるわ。でも自分みたいなドシロウトには難しそう…