Kiiremini kui brauser!
9 suhted: Bertrand Russell, Filosoofia, Formaalloogika, Gottlob Frege, Matemaatika, Tõestus, Tehiskeel, Traditsiooniline loogika, 20. sajand.
Bertrand Russell
Bertrand Arthur William Russell, kolmas krahv Russell (18. mai 1872 Trelleck, Monmouthshire, Wales – 2. veebruar 1970 Penrhyndeudraeth, Merionethshire, Wales) oli inglise matemaatik, filosoof ja loogik, poliitiline liberaal ja aktivist ning filosoofia tutvustaja.
Uus!!: Matemaatiline loogika ja Bertrand Russell · Näe rohkem »
Filosoofia
Filosoofia (vanakreeka keeles φιλοσοφία, philosophia, 'tarkuse armastus') on tegelemine filosoofiliste küsimustega.
Uus!!: Matemaatiline loogika ja Filosoofia · Näe rohkem »
Formaalloogika
Formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed.
Uus!!: Matemaatiline loogika ja Formaalloogika · Näe rohkem »
Gottlob Frege
Frege (umbes 1879) Friedrich Ludwig Gottlob Frege (8. november 1848 Wismar – 26. juuli 1925 Bad Kleinen) oli saksa matemaatik, loogik ja filosoof, keda peetakse tänapäeva matemaatilise loogika rajajaks.
Uus!!: Matemaatiline loogika ja Gottlob Frege · Näe rohkem »
Matemaatika
Matemaatika (sõna algallikas on vanakreeka väljend μαθηματική τέχνη (mathēmatikē téchnē; ligikaudne tähendus 'õppimise kunst')) on teadusharu, mis on välja kujunenud geomeetriliste kujundite uurimisest ja arvudega arvutamisel.
Uus!!: Matemaatiline loogika ja Matemaatika · Näe rohkem »
Tõestus
Tõestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud.
Uus!!: Matemaatiline loogika ja Tõestus · Näe rohkem »
Tehiskeel
Tehiskeel ehk formaalne keel ehk formaalkeel on inimese kujundatud kunstkeel.
Uus!!: Matemaatiline loogika ja Tehiskeel · Näe rohkem »
Traditsiooniline loogika
Traditsiooniline loogika (inglise traditional logic) ehk Aristotelese loogika (inglise Aristotelian logic) on koondnimetus loogikale, mis sai alguse Aristotelesest ja domineeris kuni 19.
Uus!!: Matemaatiline loogika ja Traditsiooniline loogika · Näe rohkem »
20. sajand
New Yorgi Park Row tänaval asusid varajased pilvelõhkujad, mis kuulusid peamiselt ajalehetoimetustele; foto umbes aastast 1906 Esimese maailmasõja vallandumise daatumiks 20. sajand nägi mitmete sõltumatute rahvusriikide sündi Euroopas. Euroopa kaart aastast 1923 Atlase skulptuur avati Rockefeller Centeris aastal 1937 II maailmasõda Euroopas 1942. aastal Auschwitz II-Birkenau koonduslaager HMS Malaya lahkub New Yorgi sadamast pärast torpeedorünnakust põhjustatud parandustöid 9. juulil 1941 külma sõja aegne poliitriikide peamine heidutusvahend. Fotol on tuumapommi tekitatud "tuumaseen" Nagasaki kohal 9. augustil 1945, mis tõusis plahvatuse hüpotsentrist 18 km kõrgusele suprematistlik õlimaal "Must ruut", mis tähistavat maalikunsti surma, 1915, 79,5×79,5 cm, Tretjakovi galeriis Moskvas Nõukogude Liit ja selle poolt okupeeritud või selle kommunistliku režiimi mõjusfääris (vt raudne eesriie) olnud riigid Kuuba revolutsiooni ajal Balti riigipeadega 1998. aastal USAs Pentagonis Balti keti 10. aastapäevale pühendatud Leedu postmargiplokk kroonine rahatäht Jugoslaavia lagunemine 20.
Uus!!: Matemaatiline loogika ja 20. sajand · Näe rohkem »
