→ prawinra: 數理並不是邏輯。請參詳微積分歷史對趨近無限小的爭論。 01/24 20:20
※ 引述《carelai (我心依舊)》之銘言：
: 以及它們與mathematical philosophy的區別，
: 關注點各有哪些不同？
: 求教，
: 謝謝。
這邊很乾。
一般來說在哲學圈內logic指得是形式邏輯和對於論證的研究
比較籠統一些，在電腦科學會指別的
Mathematical logic指邏輯在數學上的應用，分成四領域
Set
model,
recursion,
proof.
數學哲學是一門哲學，算是meta math，有些主張受邏輯影響很深，
譬如logicism就主張數學可以化約為邏輯，代表者是Frege.
Intuitionism則認為數學是種mental construction
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.136.196.56
※ 文章網址: https://www.ptt.cc/bbs/logic/M.1460364695.A.F6D.html