公元1600年代:德國哲學家戈特弗里德·威廉·萊布尼茨(Gottfried Wilhelm Leibniz)提出了推論微積分的概念,這是一種符號邏輯的通用語言。公元1847年:英國邏輯學家喬治· ...
確定! 回上一頁