論理学

現在、議論中です。
議論場はこちらです。

1: ⊥ ⊨ 雑談スレ (4) 
スレッド一覧 ゴミ箱
【1:4】⊥ ⊨ 雑談スレ
1 名前: 名無しさん@ふりーち :2014/09/27(土) 00:21:15.0 ID:GXvIHUryG
命題論理や一階述語論理だけじゃなく、古典論理から直観主義論理、さらには高階論理まで...

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

       _________
      /     \       人間は人間らしいことを、コンピュータにはコンピュータらしいことをさせておけばいいお
    /   ⌒  ⌒\       問題はその間の線をどこに引くかだお
   /   ( ⌒)  (⌒)\
   i  ::::::⌒ (__人__) ⌒:: i   
   ヽ、    `ー '   /
     /     ┌─┐
     i   丶 ヽ{ .茶 }ヽ
     r     ヽ、__)一(_丿
     ヽ、___   ヽ ヽ 
     と_____ノ_ノ
2 名前: 名無しさん@ふりーち :2015/01/06(火) 17:17:07.0 ID:elYB/RTTK
上陸記念パピコ
3 名前: 名無しさん@ふりーち :2015/01/18(日) 22:08:27.0 ID:izR6ixAgP
10年後くらいに書き込みがあると期待してたんだが
こんなに早くこの荒野で人に会えるとは…感激しました!
4 名前: 名無しさん@ふりーち :2015/02/08(日) 17:22:51.0 ID:+N9ELu+3L
やあ


クリエイティブ・コモンズ・ライセンス

このページのドキュメントは全て クリエイティブ・コモンズ 表示 - 継承 3.0 非移植 ライセンスの下に提供されています。

Copyright(c) FreeCh