Indholdsfortegnelse
17 relationer: Alfred North Whitehead, Automatiseret ræsonnement, Binært beslutningsdiagram, Boolsk algebra, Cahiers pour l'Analyse, Diskret matematik, Filosofi, Gödels ufuldstændighedssætning, Gottlob Frege, Jaakko Hintikka, Kurt Gödel, Lambdakalkyle, Logik, Matematik, Matematikkens historie, Principia Mathematica, Stephen Cole Kleene.
Alfred North Whitehead
Alfred North Whitehead (født 15. februar 1861, død 30. december 1947) var en engelsk matematiker og filosof, som samarbejdede med Bertrand Russell om Principia Mathematica (1910-13).
Se Matematisk logik og Alfred North Whitehead
Automatiseret ræsonnement
Automatiserede ræsonnementer er et område indenfor datalogi og matematisk logik dedikeret til at forstå forskellige aspekter af det at ræsonnere.
Se Matematisk logik og Automatiseret ræsonnement
Binært beslutningsdiagram
Inden for datalogi er et binært beslutningsdiagram (eng. binary decision diagram, forkortet BDD) en datastruktur som effektivt repræsenterer en Boolsk funktion.
Se Matematisk logik og Binært beslutningsdiagram
Boolsk algebra
Boolsk algebra (og boolsk logik) er et komplet system til logiske operationer, baseret på algebra med variabler, som kun kan have to tilstande eller værdier, der normalt udtrykkes som sandt eller falsk.
Se Matematisk logik og Boolsk algebra
Cahiers pour l'Analyse
Cahiers pour l'Analyse var et fransksproget tidsskrift, der blev udgivet af en gruppe unge filosofistuderende ved École Normale Supérieure (ENS) i Paris.
Se Matematisk logik og Cahiers pour l'Analyse
Diskret matematik
Diskret matematik er studiet af strukturer, der er fundamentalt adskilte i den forstand at de ikke kræver et begreb om kontinuitet.
Se Matematisk logik og Diskret matematik
Filosofi
Rembrandts maleri "Filosoffen" fra 1633 Filosofi er i det moderne Vesten videnskaben vedrørende de grundlæggende vilkår for erkendelse og moral.
Se Matematisk logik og Filosofi
Gödels ufuldstændighedssætning
Gödels ufuldstændighedssætning er en sætning indenfor matematisk logik, som blev bevist af Kurt Gödel, som svar på Hilberts andet problem.
Se Matematisk logik og Gödels ufuldstændighedssætning
Gottlob Frege
Friedrich Ludwig Gottlob Frege (født 8. november 1848 i Wismar, død 26. juli 1925 i Bad Kleinen) var en tysk matematiker, logiker og filosof.
Se Matematisk logik og Gottlob Frege
Jaakko Hintikka
Jaakko Hintikka (født 12. januar 1929 i Vanda, død 12. august 2015, Porvoo) var en finsk filosof og logiker.
Se Matematisk logik og Jaakko Hintikka
Kurt Gödel
Kurt Friedrich Gödel (født 28. april 1906 i Brno, død 14. januar 1978 i Princeton) var østrigsk logiker og matematiker.
Se Matematisk logik og Kurt Gödel
Lambdakalkyle
Lambdakalkyle (også Lambda-kalkyle eller Lambda kalkyle) er et formelt system indenfor den matematiske logik.
Se Matematisk logik og Lambdakalkyle
Logik
Den græske tænker og filosof Aristoteles anses som faderen til den klassiske logik. Logik (fra græsk λόγος, logos.
Matematik
Matematiklærer ved tavlen. Rafael. Eksempel på sammenhæng mellem algebra og geometri. Mandelbrotmængden er et eksempel på en fraktal. Perspektiviske trekanter. Forlænger man trekanternes respektive sider, mødes disse forlængelser (grå ubrudte) på en ret linje kaldet perspektivaksen.
Se Matematisk logik og Matematik
Matematikkens historie
Fra ''Al-jabr'', et af mesterværkerne i arabisk matematik. Matematikkens historie går flere tusind år tilbage i tiden, længe før ordet matematik opstod.
Se Matematisk logik og Matematikkens historie
Principia Mathematica
Forsiden af den forkortede udgave af ''Principia Mathematica'' Principia Mathematica er en bog om matematisk logik skrevet af Bertrand Russell og Alfred North Whitehead, udgivet i tre bind i henholdsvis 1910, 1912 og 1913.
Se Matematisk logik og Principia Mathematica
Stephen Cole Kleene
Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi.