看板 [ logic ]
討論串[請益] logic, mathematical logic的區別？
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[請益] logic, mathematical logic的區別？
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者carelai (我心依舊)時間8年前 (2016/02/25 12:53), 編輯資訊
1
0
0
內容預覽:
以及它們與mathematical philosophy的區別，. 關注點各有哪些不同？. 求教，. 謝謝。. --. ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 59.45.74.56. ※ 文章網址: https://www.ptt.cc/bbs/logic/M.1456376023.
#2
Re: [請益] logic, mathematical logic的區別？
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者aletheia (安安咪)時間8年前 (2016/04/11 16:51), 編輯資訊
0
0
0
內容預覽:
這邊很乾。. 一般來說在哲學圈內logic指得是形式邏輯和對於論證的研究. 比較籠統一些，在電腦科學會指別的. Mathematical logic指邏輯在數學上的應用，分成四領域. Set. model,. recursion,. proof.. 數學哲學是一門哲學，算是meta math，有些主
(還有44個字)
首頁
上一頁
1
下一頁
尾頁