Famous Logicians Page
- Aristotle.
- Charles Babbage.
- Paul Bernays.
- George Boole.
- George Boolos.
- Georg Cantor.
- Chrysippus.
- Rudolf Carnap.
Puas yog philosophers logicians?
Ib tug logician yog ib tug neeg, xws li ib tug philosopher los yog ib tug lej, uas nws lub ntsiab lus ntawm scholarly kawm yog logic.
Leej twg yog tus logician loj tshaj?
Qhov no txawv txawv thiab tu siab kawg yuav tsum tsis txhob hla dhau qhov Kurt Gödel tso tseg. Nws yog ib tug ntawm cov tseem ceeb tshaj plaws logicians puas tau. Nws ob lub ntsiab lus tsis tiav yog ib qho tseem ceeb tshaj plaws nrog rau qhov feem ntau txhais tsis raug kev tshawb pom nyob rau hauv logic thiab lej nyob rau hauv lub xyoo pua 20th.
logicians ua dab tsi?
Ib tug logician tshuaj xyuas cov nqe lus los txiav txim seb lawv puas muaj tseeb thiab muaj haujlwm hauv kev ua lej thiab computer science. Ib qho piv txwv yooj yim heev ntawm qhov logician ua tau tuaj yeem muab nrog lo lus lossis. Nws txhais li cas yog tias koj hais "A lossis B?" Ib tug logician yuav hais tias nws txhais tau tias: 1.
Yog Gottlob Frege kev ntseeg?
Txawm tias Frege tau sib yuav, nws tus poj niam tuag thaum Tsov Rog Ntiaj Teb Zaum 1, tsis tso nws cov menyuam ntawm nws tus kheej. Txawm li cas los xij, muaj ib tug tub saws, Alfred, uas tau los ua ib tug engineer. Frege yog, hauv kev ntseeg, ib txoj kev ywj pheej Lutheranthiab, hauv kev nom kev tswv, kev tawm tsam.
