Logo
論理学
⊥ ? 雑談スレ (4)

もっと見る
⊥ ? 雑談スレ
1: 名無しさん@ふりーち 14/09/27 00:21 ID:GXvI
命題論理や一階述語論理だけじゃなく、古典論理から直観主義論理、さらには高階論理まで...

ヘーゲルに始まる歴史の奥深さを味わいたいひとや、手続きだけで正しさが分かりたいと願うひと、
さらにはコンピュータできることの限界を探っている人や、宗教や哲学、さらには言語の研究をしている人も
論理学だけは避けて通れないめちゃくちゃ応用範囲が広い学問です。

       _________
      /     \       人間は人間らしいことを、コンピュータにはコンピュータらしいことをさせておけばいいお
    /   ⌒  ⌒\       問題はその間の線をどこに引くかだお
   /   ( ⌒)  (⌒)\
   i  ::::::⌒ (__人__) ⌒:: i   
   ヽ、    `ー '   /
     /     ┌─┐
     i   丶 ヽ{ .茶 }ヽ
     r     ヽ、__)一(_丿
     ヽ、___   ヽ ヽ 
     と_____ノ_ノ


2: 名無しさん@ふりーち 15/01/06 17:17 ID:elYB
上陸記念パピコ

3: 名無しさん@ふりーち 15/01/18 22:08 ID:izR6
10年後くらいに書き込みがあると期待してたんだが
こんなに早くこの荒野で人に会えるとは…感激しました!

4: 名無しさん@ふりーち 15/02/08 17:22 ID:+N9E
やあ


書き込む
もっと読む

▲上に戻る▲

メニューに戻る
PCサイトトップ
Copyright(c) FreeCh