友快網
導航選單
首頁
時尚
娛樂
遊戲
科技
星座
情感
體育
美食
家居
健康
歷史
汽車
首頁
>
標簽
> 弗雷格
理解數學基礎的三種主要方式—邏輯主義、形式主義和直覺主義
形式主義:形式元素可以作為數學的基礎,但不一定是邏輯元素(我認為哲學性越低越好)...
【重磅】人工智慧取代數學家的想法:邏輯推理或將被智慧機器化取代
人工智慧取代數學家的想法源於對邏輯的研究,這可以追溯到2500年前的亞里士多德,他認為直覺和邏輯是獲得知識的兩個方面...
標籤雲
辛迪加
(1)
隱身技術
(1)
富營養化
(1)
eod
(1)
TCAS
(1)
門類
(1)
降本
(1)
紅五星
(1)
虛谷
(1)
級風
(1)
O2BOX
(1)
貝納維
(1)
阿關
(1)
閬中市
(1)
DOCG
(1)
內眼角
(1)
精子發生
(1)
模鼠
(1)
SAOTA
(1)
璽院
(1)