2ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

Lisp Scheme Part36

506 :デフォルトの名無しさん:2013/06/22(土) 00:45:13.86
ゲーデルとかチャーチとかチューリングとか再帰とか計算可能性とか論理学?計算機?
そもそも自然数の定義があれでしょ?正方形を埋め尽くす曲線とか信じらんない

226 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.02.02 2014/06/23 Mango Mangüé ★
FOX ★ DSO(Dynamic Shared Object)