19 odnosi: Albert Thoralf Skolem, Andrej Nikolajevič Kolmogorov, Augustus De Morgan, Booleova algebra, Filozofija, Friedrich Ludwig Gottlob Frege, Giuseppe Peano, Gregory Chaitin, Logika, Matematična indukcija, Matematika, Naravno število, Paul Joseph Cohen, Saul Kripke, Seznam filozofskih vsebin, Seznam paradoksov, Stephen Cole Kleene, Temelji matematike, Vladimir Andrejevič Uspenski.
Albert Thoralf Skolem
Albert Thoralf Skolem, norveški matematik, logik in filozof, * 23. maj 1887, Sandsvaer, Buskerud, Norveška, † 23. marec 1963, Oslo, Norveška.
Novo!!: Matematična logika in Albert Thoralf Skolem · Poglej več »
Andrej Nikolajevič Kolmogorov
Brez opisa.
Novo!!: Matematična logika in Andrej Nikolajevič Kolmogorov · Poglej več »
Augustus De Morgan
Augustus De Morgan, škotski matematik, logik in filozof, * 27. junij 1806, Madura, Britanska Indija (sedaj Maduraj, Tamil Nadu, Indija), † 18. marec 1871, London, Anglija.
Novo!!: Matematična logika in Augustus De Morgan · Poglej več »
Booleova algebra
Booleova algebra in je v matematiki distributivna mreža z ničlo in enoto, v kateri ima vsak element komplement, ki je tudi sam element množice.
Novo!!: Matematična logika in Booleova algebra · Poglej več »
Filozofija
Filozofíja (grško: filosofía > ϕιλέω "ljubiti" + σοφία "modrost") je humanistična veda.
Novo!!: Matematična logika in Filozofija · Poglej več »
Friedrich Ludwig Gottlob Frege
Friedrich Ludwig Gottlob Frege, nemški matematik, logik in filozof, * 8. november 1848, Wismar, Mecklenburg, Vzhodna Pomeranija, Nemčija, † 26. julij 1925, Bad Kleinen, Mecklenburg.
Novo!!: Matematična logika in Friedrich Ludwig Gottlob Frege · Poglej več »
Giuseppe Peano
Giuseppe Peano, italijanski matematik in logik, (* 27. avgust 1858, Cuneo, Piemont, Kraljestvo Sardinija, † * 20. april 1932, Torino, Kraljevina Italija. Velja za utemeljitelja matematične logike. Pomembni so njegovi prispevki k aksiomatiki, ti. Peanovi aksiomi, matematični indukciji, teoriji množic, vektorski analizi, diferencialnih enačb in filozofiji matematike. Je avtor umetnega jezika Latino sine flexione, simplificirane oblike latinščine.
Novo!!: Matematična logika in Giuseppe Peano · Poglej več »
Gregory Chaitin
Gregory John Chaitin, argentinsko-ameriški matematik in računalnikar, * 15. november 1947, Chicago, Illinois, ZDA.
Novo!!: Matematična logika in Gregory Chaitin · Poglej več »
Logika
Lógika (grško: lógos - beseda, smisel, misel, načelo) je filozofski nauk o mišljenju ter njegovih zakonitostih.
Novo!!: Matematična logika in Logika · Poglej več »
Matematična indukcija
domin. Matemátična ali popólna indúkcija je v matematiki metoda dokaza, ki se običajno uporablja za dokazovanje ali je dana trditev ali izrek resničen za vsa naravna števila ali za vse člene neskončnega zaporedja.
Novo!!: Matematična logika in Matematična indukcija · Poglej več »
Matematika
Simbolni prikaz različnih področij matematike Matemátika (mathēmatiká,: máthēma - -thematos - znanost, znanje, učenje, študij;: mathematikos - ljubezen do učenja) je znanstvena veda, ki raziskuje vzorce.
Novo!!: Matematična logika in Matematika · Poglej več »
Naravno število
Narávno števílo je katerokoli število iz neskončne množice pozitivnih celih števil.
Novo!!: Matematična logika in Naravno število · Poglej več »
Paul Joseph Cohen
Paul Joseph Cohen, ameriški matematik, * 2. april 1934, Long Branch, New Jersey, ZDA, † 23. marec 2007, Stanford, Kalifornija, ZDA.
Novo!!: Matematična logika in Paul Joseph Cohen · Poglej več »
Saul Kripke
Saul Aaron Kripke (/sɔːl ˈkrɪpki/), ameriški filozof in logik, * 13. november 1940, Bay Shore, New York, ZDA, † 15. september 2022.
Novo!!: Matematična logika in Saul Kripke · Poglej več »
Seznam filozofskih vsebin
Seznam filozofskih vsebin zajema vse članke, ki se nanašajo na filozofijo, filozofsko terminologijo, oziroma obravnavajo pomembne filozofske in za filozofsko ukvarjanje pomembne pojme.
Novo!!: Matematična logika in Seznam filozofskih vsebin · Poglej več »
Seznam paradoksov
Seznam paradoksov.
Novo!!: Matematična logika in Seznam paradoksov · Poglej več »
Stephen Cole Kleene
Stephen Cole Kleene, ameriški matematik, častnik in logik, * 5. januar 1909, Hartford, Connecticut, ZDA, † 25. januar 1994, Madison, Wisconsin.
Novo!!: Matematična logika in Stephen Cole Kleene · Poglej več »
Temelji matematike
Temelji matematike je strokovni izraz, ki se včasih uporablja za nekatere veje matematike, kot so matematična logika, aksiomatična teorija množic, teorija dokazov, teorija modelov in teorija rekurzije.
Novo!!: Matematična logika in Temelji matematike · Poglej več »
Vladimir Andrejevič Uspenski
Vladimir Andrejevič Uspenski, ruski matematik, jezikoslovec in publicist, * 27. november 1930, Moskva, † 27. junij 2018, Moskva.
Novo!!: Matematična logika in Vladimir Andrejevič Uspenski · Poglej več »