110 relaties: Adolf Fraenkel, Alan Turing, Alfred North Whitehead, Alfred Tarski, Algoritme, Alonzo Church, Analyse (wiskunde), Arend Heyting, Aristoteles, Augustin Louis Cauchy, Augustus De Morgan, Axioma's van Peano, Axiomatische methode, Axiomatische verzamelingenleer, Berekenbaarheid, Bernard Bolzano, Bertrand Russell, Bewijstheorie, Brouwer-Heyting-Kolmogorovinterpretatie, Categorietheorie (wiskunde), Charles Sanders Peirce, Combinatorische logica, Computationele complexiteitstheorie, Consistentie (logica), Continuümhypothese, Continue functie (analyse), David Hilbert, Dedekindsnede, Deelverzameling, Diagonaalbewijs van Cantor, Elementaire klasse, Ernst Schröder, Ernst Zermelo, Euclides van Alexandrië, Forcing, Fourierreeks, Functie (wiskunde), Georg Cantor, George Boole, Gerhard Gentzen, Getaltheorie, Giuseppe Peano, Gottfried Wilhelm Leibniz, Gottlob Frege, Groepentheorie, Grondslagen van de wiskunde, Hilberts axiomasysteem van de euclidische meetkunde, Informatica, Intuïtionisme, Joeri Matijasevitsj, ..., Johann Heinrich Lambert, Kardinaliteit, Karl Weierstrass, Keuzeaxioma, Kripkemodel, Kurt Gödel, Kwantor (logica), Lambdacalculus, Leopold Löwenheim, Limiet, Logica, Luitzen Egbertus Jan Brouwer, Martin Löb, Meetkunde, Metawiskunde, Modale logica, Modeltheorie, Naïeve verzamelingenleer, Natuurlijk getal, Natuurlijke taal, New Foundations, Nikolaj Lobatsjevski, Object (wiskunde), Oneindige verzameling, Onvolledigheidsstellingen van Gödel, Parallellenpostulaat, Paul Cohen (wiskundige), Planimetrie, Postulaten van Euclides, Predicatenlogica, Principia Mathematica, Programma van Hilbert, Programmeertaal, Propositielogica, Reëel getal, Reële lijn, Rekenen, Richard Dedekind, Semantiek, Stelling van Cantor, Stelling van Löwenheim-Skolem, Syllogisme, Symbool, Syntaxis (taalkunde), Theoretische informatica, Thoralf Skolem, Transfiniet getal, Transfiniete inductie, Typetheorie, Verzamelingenleer, Volledige inductie, Volledigheidsstelling van Gödel, Wet van de uitgesloten derde, Willard Van Orman Quine, Wiskunde, Wiskundig bewijs, Zermelo-Fraenkel-verzamelingenleer, 19e eeuw, 20e eeuw, 23 problemen van Hilbert. Uitbreiden index (60 meer) »
Adolf Fraenkel
Adolf Fraenkel Abraham Halevi (Adolf) Fraenkel (Hebreeuws: אברהם הלוי פרנקל), meestal geciteerd als Abraham Fraenkel, (München, 17 februari 1891 - Jeruzalem, 15 oktober 1965) was een Duits-Israëlische wiskundige.
Nieuw!!: Wiskundige logica en Adolf Fraenkel · Bekijk meer »
Alan Turing
Alan Mathison Turing (Maida Vale (Londen), 23 juni 1912 – Wilmslow, 7 juni 1954) was een Britse wiskundige, computerpionier en informaticus, mathematisch bioloog en logicus.
Nieuw!!: Wiskundige logica en Alan Turing · Bekijk meer »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate (Kent), 15 februari 1861 - Cambridge (Massachusetts), 30 december 1947) was een Brits-Amerikaanse filosoof, natuurkundige en wiskundige.
Nieuw!!: Wiskundige logica en Alfred North Whitehead · Bekijk meer »
Alfred Tarski
Alfred Tarski Alfred Tarski (Warschau (Polen), 14 januari 1901 – Berkeley (VS), 26 oktober 1983) was een Amerikaans wiskundige en logicus van Pools-Joodse afkomst.
Nieuw!!: Wiskundige logica en Alfred Tarski · Bekijk meer »
Algoritme
Algoritme om een willekeurig veelvlak in driehoeken op te delen (in het algemeen heeft dit probleem meerdere oplossingen, de bereikte oplossing hangt dus af van het gebruikte algoritme) Een algoritme is een stappenplan bestaande uit een set regels in vaste volgorde om tot een oplossing te komen en het einddoel te bereiken.
Nieuw!!: Wiskundige logica en Algoritme · Bekijk meer »
Alonzo Church
Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus.
Nieuw!!: Wiskundige logica en Alonzo Church · Bekijk meer »
Analyse (wiskunde)
Analyse is een tak van de wiskunde, ontwikkeld uit de rekenkunde en de meetkunde.
Nieuw!!: Wiskundige logica en Analyse (wiskunde) · Bekijk meer »
Arend Heyting
Arend Heyting (Amsterdam, 9 mei 1898 - Lugano, Zwitserland, 9 juli 1980) was een Nederlandse wiskundige en logicus.
Nieuw!!: Wiskundige logica en Arend Heyting · Bekijk meer »
Aristoteles
Rafaël Aristoteles (Oudgrieks: Ἀριστοτέλης, Aristotélēs) (Stageira, 384 v.Chr. – Chalkis, 322 v.Chr.) was een Griekse filosoof en wetenschapper die met Socrates en Plato wordt beschouwd als een van de invloedrijkste klassieke filosofen in de westerse traditie.
Nieuw!!: Wiskundige logica en Aristoteles · Bekijk meer »
Augustin Louis Cauchy
Augustin Louis Cauchy Augustin Louis Cauchy (Parijs, 21 augustus 1789 – Sceaux, 23 mei 1857) was een zeer invloedrijke Franse wiskundige.
Nieuw!!: Wiskundige logica en Augustin Louis Cauchy · Bekijk meer »
Augustus De Morgan
Augustus De Morgan Augustus De Morgan (Madurai (India), 27 juni 1806 – Londen, 18 maart 1871) was een Britse wiskundige en logicus.
Nieuw!!: Wiskundige logica en Augustus De Morgan · Bekijk meer »
Axioma's van Peano
In de wiskundige logica zijn de axioma's van Peano (ook bekend als de axioma's van Dedekind-Peano of de postulaten van Peano) een verzameling axioma's voor de natuurlijke getallen, geformuleerd door de 19e-eeuwse Italiaanse wiskundige Giuseppe Peano.
Nieuw!!: Wiskundige logica en Axioma's van Peano · Bekijk meer »
Axiomatische methode
De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities.
Nieuw!!: Wiskundige logica en Axiomatische methode · Bekijk meer »
Axiomatische verzamelingenleer
Als een axiomatische verzamelingenleer geldt elke axiomatisering van de verzamelingenleer die de bekende antinomieën van de naïeve verzamelingenleer vermijdt.
Nieuw!!: Wiskundige logica en Axiomatische verzamelingenleer · Bekijk meer »
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Nieuw!!: Wiskundige logica en Berekenbaarheid · Bekijk meer »
Bernard Bolzano
Bernard Bolzano Bernard Placidus Johann Nepomuk Bolzano (Praag, 5 oktober 1781 – aldaar, 18 december 1848) was een Oostenrijks wiskundige, filosoof en theoloog.
Nieuw!!: Wiskundige logica en Bernard Bolzano · Bekijk meer »
Bertrand Russell
Bertrand Arthur William Russell (Trellech (Monmouthshire, Wales), 18 mei 1872 – Penrhyndeudraeth (Gwynedd, Wales), 2 februari 1970) was een Britse filosoof, historicus, logicus, wiskundige, voorvechter voor sociale vernieuwing, humanist, pacifist en een prominent atheïstisch rationalist.
Nieuw!!: Wiskundige logica en Bertrand Russell · Bekijk meer »
Bewijstheorie
Bewijstheorie is een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat.
Nieuw!!: Wiskundige logica en Bewijstheorie · Bekijk meer »
Brouwer-Heyting-Kolmogorovinterpretatie
In de wiskundige logica is de Brouwer-Heyting-Kolmogorovinterpretatie of BHK-interpretatie een theorie die de wiskundige stroming van het intuïtionisme onderbouwde.
Nieuw!!: Wiskundige logica en Brouwer-Heyting-Kolmogorovinterpretatie · Bekijk meer »
Categorietheorie (wiskunde)
categorie met objecten X, Y, Z en morfismen ''f'', ''g'' De categorietheorie is een abstract onderdeel van de wiskunde dat zich bezighoudt met het bestuderen van de algemene eigenschappen van wiskundige structuren, door het vergelijken van wiskundige objecten waartussen structuurbehoudende afbeeldingen, pijlen of morfismen genoemd, zijn gedefinieerd.
Nieuw!!: Wiskundige logica en Categorietheorie (wiskunde) · Bekijk meer »
Charles Sanders Peirce
Charles Sanders Peirce (spreek uit), vaak afgekort als C.S. Peirce (Cambridge (Massachusetts), 10 september 1839 – Milford (Pennsylvania), 19 april 1914) was een Amerikaanse wetenschapper, filosoof en semioticus.
Nieuw!!: Wiskundige logica en Charles Sanders Peirce · Bekijk meer »
Combinatorische logica
De combinatorische logica (ook: combinatoire logica) was oorspronkelijk een door Moses Schönfinkel en Haskell Curry bedachte notatie in de wiskundige logica, waarmee de noodzakelijkheid van het gebruik van variabelen verdween.
Nieuw!!: Wiskundige logica en Combinatorische logica · Bekijk meer »
Computationele complexiteitstheorie
Computationele complexiteitstheorie is een tak van theoretische informatica en wiskunde die als doel heeft computationele problemen te classificeren in een aantal categorieën die de inherente moeilijkheidsgraad van deze problemen aangeven.
Nieuw!!: Wiskundige logica en Computationele complexiteitstheorie · Bekijk meer »
Consistentie (logica)
Consistent betekent in de logica: innerlijk samenhangend en niet tegenstrijdig, inconsistent is daarvan het antoniem en betekent: tegenstrijdig en niet innerlijk samenhangend.
Nieuw!!: Wiskundige logica en Consistentie (logica) · Bekijk meer »
Continuümhypothese
In de verzamelingenleer, een deelgebied van de wiskunde, is de continuümhypothese een door Georg Cantor in 1877 geponeerde hypothese over de mogelijke kardinaliteiten van oneindige verzamelingen.
Nieuw!!: Wiskundige logica en Continuümhypothese · Bekijk meer »
Continue functie (analyse)
Een continue functie is in de wiskunde een functie waarvan kleine veranderingen van een variabele resulteren in kleine veranderingen van de functiewaarde.
Nieuw!!: Wiskundige logica en Continue functie (analyse) · Bekijk meer »
David Hilbert
David Hilbert in 1912 David Hilbert (Koningsbergen (Oost-Pruisen), 23 januari 1862 – Göttingen, 14 februari 1943) was een Duits wiskundige die wordt gerekend tot de invloedrijkste wiskundigen van de negentiende en begin twintigste eeuw.
Nieuw!!: Wiskundige logica en David Hilbert · Bekijk meer »
Dedekindsnede
irrationale getal \sqrt2 te construeren Een dedekindsnede, ook snede van Dedekind of kortweg snede genoemd, is een speciale deelverzameling van de rationale getallen die een reëel getal voorstelt.
Nieuw!!: Wiskundige logica en Dedekindsnede · Bekijk meer »
Deelverzameling
Een venndiagram van de verzameling A als deelverzameling van B.B omvat A. In de verzamelingenleer is een deelverzameling van een gegeven verzameling een verzameling die geheel bevat is in (deel is van) de gegeven verzameling.
Nieuw!!: Wiskundige logica en Deelverzameling · Bekijk meer »
Diagonaalbewijs van Cantor
Het rode getal E_u op de diagonaal verschilt per definitie van alle horizontaal genoemde getallen. Het diagonaalbewijs van Cantor of de diagonaalmethode van Cantor is een bewijs, afkomstig van de wiskundige Georg Cantor, dat de kardinaliteit van de verzameling van reële getallen groter is dan die van de verzameling van natuurlijke getallen.
Nieuw!!: Wiskundige logica en Diagonaalbewijs van Cantor · Bekijk meer »
Elementaire klasse
In de modeltheorie, een deelgebied van de wiskundige logica, is een elementaire klasse een klasse die bestaat uit alle structuren die voldoen aan een vaste eerste-ordetheorie.
Nieuw!!: Wiskundige logica en Elementaire klasse · Bekijk meer »
Ernst Schröder
Ernst Schröder Ernst Schröder (Mannheim, 25 november 1841 - Karlsruhe, 16 juni 1902) was een Duitse wiskundige die vooral actief was op het gebied van de algebraïsche logica.
Nieuw!!: Wiskundige logica en Ernst Schröder · Bekijk meer »
Ernst Zermelo
Ernst Zermelo in 1953 Ernst Zermelo c. 1900 Ernst Friedrich Ferdinand Zermelo (Berlijn, 27 juli 1871 - Freiburg im Breisgau, 21 mei 1953) was een Duits wiskundige en filosoof.
Nieuw!!: Wiskundige logica en Ernst Zermelo · Bekijk meer »
Euclides van Alexandrië
Venetië - Kapiteel 17 Euclides, Oudgrieks:, Eukleídēs, ook Euclides van Alexandrië genoemd, was een wiskundige, die rond het jaar 300 v.Chr. werkzaam was in de bibliotheek van Alexandrië.
Nieuw!!: Wiskundige logica en Euclides van Alexandrië · Bekijk meer »
Forcing
In de wiskundige discipline van de verzamelingenleer is forcing een techniek, die door Paul Cohen is geconstrueerd om consistentie en de onafhankelijkheidsresultaten te bewijzen.
Nieuw!!: Wiskundige logica en Forcing · Bekijk meer »
Fourierreeks
Een fourierreeks is een (eventueel oneindige) gewogen som van sinussen en cosinussen die een benadering vormt van een willekeurige periodieke functie.
Nieuw!!: Wiskundige logica en Fourierreeks · Bekijk meer »
Functie (wiskunde)
Grafiek van de functie f(x).
Nieuw!!: Wiskundige logica en Functie (wiskunde) · Bekijk meer »
Georg Cantor
Georg Cantor (foto genomen ~1900) Georg Ferdinand Ludwig Philipp Cantor (Sint-Petersburg, – Halle, 6 januari 1918) was een Duitse wiskundige, die bekendstaat als de grondlegger van de moderne verzamelingenleer.
Nieuw!!: Wiskundige logica en Georg Cantor · Bekijk meer »
George Boole
George Boole (Lincoln, 2 november 1815 - Ballintemple (Cork), 8 december 1864) was een Brits wiskundige en logicus.
Nieuw!!: Wiskundige logica en George Boole · Bekijk meer »
Gerhard Gentzen
Gerhard Gentzen in 1945 Gerhard Karl Erich Gentzen (Greifswald, 24 november 1909 - Praag, 4 augustus 1945) was een Duits wiskundige en logicus.
Nieuw!!: Wiskundige logica en Gerhard Gentzen · Bekijk meer »
Getaltheorie
natuurlijke getallen in een spiraal afbeeldt met de nadruk op de priemgetallen, ontstaat een intrigerend niet volledig verklaard patroon, dat de spiraal van Ulam wordt genoemd. Traditioneel is getaltheorie de tak van de zuivere wiskunde die de eigenschappen van de gehele getallen bestudeert.
Nieuw!!: Wiskundige logica en Getaltheorie · Bekijk meer »
Giuseppe Peano
Giuseppe Peano (Spinetta, deel van Cuneo, in Piëmont, 27 augustus 1858 – Turijn, 20 april 1932) was een Italiaans wiskundige, filosoof en logicus.
Nieuw!!: Wiskundige logica en Giuseppe Peano · Bekijk meer »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm (von) Leibniz, ook als Leibnitz gespeld (Leipzig, 1 juli 1646 – Hannover, 14 november 1716), was een veelzijdige Duitse wiskundige, filosoof, logicus, natuurkundige, historicus, rechtsgeleerde en diplomaat, die wordt beschouwd als een van de grootste denkers van de 17e eeuw.
Nieuw!!: Wiskundige logica en Gottfried Wilhelm Leibniz · Bekijk meer »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 november 1848 – Bad Kleinen, 26 juli 1925) was een Duitse wiskundige, logicus en filosoof.
Nieuw!!: Wiskundige logica en Gottlob Frege · Bekijk meer »
Groepentheorie
Rubiks kubus, een voorbeeld van de toepassing van groepen in de praktijk. Groepentheorie is in de wiskunde de studie van groepen, ook te omschrijven als de studie van symmetrieën.
Nieuw!!: Wiskundige logica en Groepentheorie · Bekijk meer »
Grondslagen van de wiskunde
Grondslagen van de wiskunde zijn de aannames, de grondbeginselen en de uitgangspunten van de wiskunde.
Nieuw!!: Wiskundige logica en Grondslagen van de wiskunde · Bekijk meer »
Hilberts axiomasysteem van de euclidische meetkunde
Met de axioma's van Hilbert worden 20 (oorspronkelijk 21) door David Hilbert voorgestelde axioma's met betrekking tot ruimtelijke relaties bedoeld.
Nieuw!!: Wiskundige logica en Hilberts axiomasysteem van de euclidische meetkunde · Bekijk meer »
Informatica
Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.
Nieuw!!: Wiskundige logica en Informatica · Bekijk meer »
Intuïtionisme
Het intuïtionisme is een grondslagenstroming in de wiskunde die rond 1900 opkwam en waarvan de Nederlandse wiskundigen L.E.J. Brouwer en Arend Heyting belangrijke vertegenwoordigers waren.
Nieuw!!: Wiskundige logica en Intuïtionisme · Bekijk meer »
Joeri Matijasevitsj
Joeri Matijasevitsj Joeri Matijasevitsj (Russisch: Юрий Владимирович Матиясевич, Joeri Vladimirovitsj Matijasevitsj, Leningrad, 2 maart 1947) is een Russische wiskundige.
Nieuw!!: Wiskundige logica en Joeri Matijasevitsj · Bekijk meer »
Johann Heinrich Lambert
J.H. Lambert Johann Heinrich Lambert (Mulhouse, 26 augustus 1728 – Berlijn, 25 september 1777) was een Duits-Zwitserse wetenschapper.
Nieuw!!: Wiskundige logica en Johann Heinrich Lambert · Bekijk meer »
Kardinaliteit
In de verzamelingenleer, een deelgebied van de wiskunde, is de kardinaliteit van een verzameling een algemene vorm om het aantal elementen in die verzameling mee aan te duiden.
Nieuw!!: Wiskundige logica en Kardinaliteit · Bekijk meer »
Karl Weierstrass
Karl Weierstrass (ook gespeld als Weierstraß) (Ostenfelde, 31 oktober 1815 — Berlijn, 19 februari 1897) was een Duitse wiskundige.
Nieuw!!: Wiskundige logica en Karl Weierstrass · Bekijk meer »
Keuzeaxioma
Het keuzeaxioma is een enigszins controversieel axioma uit de verzamelingenleer, dat in 1904 werd geformuleerd door Ernst Zermelo.
Nieuw!!: Wiskundige logica en Keuzeaxioma · Bekijk meer »
Kripkemodel
Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica.
Nieuw!!: Wiskundige logica en Kripkemodel · Bekijk meer »
Kurt Gödel
Kurt Friedrich Gödel (Brno, 28 april 1906 – Princeton (New Jersey), 14 januari 1978) was een Oostenrijks-Amerikaans wiskundige, logicus en filosoof.
Nieuw!!: Wiskundige logica en Kurt Gödel · Bekijk meer »
Kwantor (logica)
Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica.
Nieuw!!: Wiskundige logica en Kwantor (logica) · Bekijk meer »
Lambdacalculus
De lambdacalculus, soms ook als λ-calculus geschreven, is een formeel systeem dat in de wiskunde en theoretische informatica wordt gebruikt om het definiëren en uitvoeren van berekenbare functies te onderzoeken.
Nieuw!!: Wiskundige logica en Lambdacalculus · Bekijk meer »
Leopold Löwenheim
Leopold Löwenheim (Krefeld, 26 juni 1878 - Berlijn, 5 mei 1957) was een Duitse wiskundige, die bekend is voor zijn werk op het gebied van de wiskundige logica.
Nieuw!!: Wiskundige logica en Leopold Löwenheim · Bekijk meer »
Limiet
Het woord limiet is afkomstig van het Latijnse "limes", dat "grens" betekent.
Nieuw!!: Wiskundige logica en Limiet · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Wiskundige logica en Logica · Bekijk meer »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan (Bertus) Brouwer (Overschie, 27 februari 1881 – Blaricum, 2 december 1966) was een Nederlandse wiskundige en filosoof.
Nieuw!!: Wiskundige logica en Luitzen Egbertus Jan Brouwer · Bekijk meer »
Martin Löb
Martin Hugo Löb (Berlijn, 31 maart 1921 - Annen, 21 augustus 2006) was een Duits wiskundige die bekend is geworden door de stelling van Löb uit 1955.
Nieuw!!: Wiskundige logica en Martin Löb · Bekijk meer »
Meetkunde
Een vrouw onderwijst studenten in de meetkunde. In de middeleeuwen was het ongewoon dat een vrouw afgebeeld werd als lerares, vooral omdat de afgebeelde studenten waarschijnlijk monniken zijn. Het is mogelijk dat de vrouw een personificatie van de meetkunde is. De meetkunde, ook wel geometrie (van Oudgrieks: γεωμετρία, γῆ "aarde", μέτρον "maat"), het "meten van de aarde", is het onderdeel van de wiskunde, dat zich bezighoudt met het bepalen van afmetingen, vormen, de relatieve positie van figuren en de eigenschappen van die figuren en van de ruimte waarin ze geplaatst zijn.
Nieuw!!: Wiskundige logica en Meetkunde · Bekijk meer »
Metawiskunde
Metawiskunde is de studie van wiskunde aan de hand van wiskundige modellen.
Nieuw!!: Wiskundige logica en Metawiskunde · Bekijk meer »
Modale logica
Modale logica's kunnen worden gezien als een uitbreiding van andere logica's, zoals de propositielogica of de predicatenlogica.
Nieuw!!: Wiskundige logica en Modale logica · Bekijk meer »
Modeltheorie
Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde dat handelt over de relaties tussen puur formele uitdrukkingen en hun betekenis.
Nieuw!!: Wiskundige logica en Modeltheorie · Bekijk meer »
Naïeve verzamelingenleer
De naïeve verzamelingenleer is een van een aantal theorieën over verzamelingen, die worden gebruikt in de discussie over de grondslagen van de wiskunde.
Nieuw!!: Wiskundige logica en Naïeve verzamelingenleer · Bekijk meer »
Natuurlijk getal
Een natuurlijk getal is een getal dat het resultaat is van een telling van een eindig aantal dingen, dus een van de getallen 0,1,2,3,4,5,\ldots De verzameling natuurlijke getallen wordt aangegeven met het symbool \N.
Nieuw!!: Wiskundige logica en Natuurlijk getal · Bekijk meer »
Natuurlijke taal
Een natuurlijke taal of etnische taal is in de taalfilosofie elke levende of dode taal die door een aantal mensen als hun moedertaal wordt of werd beschouwd.
Nieuw!!: Wiskundige logica en Natuurlijke taal · Bekijk meer »
New Foundations
In de wiskundige logica zijn de New Foundations of NF, Nederlands: Nieuwe grondslagen, een axiomatische verzamelingenleer, die door Willard Van Orman Quine is opgesteld als een vereenvoudiging van de typetheorie uit de Principia Mathematica.
Nieuw!!: Wiskundige logica en New Foundations · Bekijk meer »
Nikolaj Lobatsjevski
Nikolaj Ivanovitsj Lobatsjevski Nikolaj Ivanovitsj Lobatsjevski (Russisch: Николай Иванович Лобачевский) (Nizjni Novgorod, – Kazan) was een Russische wiskundige.
Nieuw!!: Wiskundige logica en Nikolaj Lobatsjevski · Bekijk meer »
Object (wiskunde)
Een wiskundig object is in de filosofie van de wiskunde en in de wiskunde zelf, ieder onderwerp van wiskundig onderzoek dat in termen van de verzamelingenleer is uit te drukken.
Nieuw!!: Wiskundige logica en Object (wiskunde) · Bekijk meer »
Oneindige verzameling
In de verzamelingenleer, een deelgebied van de wiskunde, is een oneindige verzameling een verzameling die geen eindige verzameling is.
Nieuw!!: Wiskundige logica en Oneindige verzameling · Bekijk meer »
Onvolledigheidsstellingen van Gödel
De onvolledigheidsstellingen van Gödel zijn twee stellingen over de beperkingen van formele systemen, beide bewezen door Kurt Gödel in 1931.
Nieuw!!: Wiskundige logica en Onvolledigheidsstellingen van Gödel · Bekijk meer »
Parallellenpostulaat
Als de som van de binnenhoeken α en β minder is dan 180°, zullen de twee rechte lijnen elkaar op den duur aan die kant snijden. Het parallellenpostulaat in de meetkunde is het vijfde postulaat van Euclides.
Nieuw!!: Wiskundige logica en Parallellenpostulaat · Bekijk meer »
Paul Cohen (wiskundige)
Paul Joseph Cohen (Long Branch, 2 april 1934 – 23 maart 2007) was een Amerikaans wiskundige, bekend om zijn werk in de verzamelingenleer.
Nieuw!!: Wiskundige logica en Paul Cohen (wiskundige) · Bekijk meer »
Planimetrie
De planimetrie, vlakke meetkunde, vlaktemeetkunde of effen geometrie is het onderdeel van de meetkunde dat zich specifiek bezighoudt met het meten van oppervlakken in de 'platte' ofwel tweedimensionale ruimte.
Nieuw!!: Wiskundige logica en Planimetrie · Bekijk meer »
Postulaten van Euclides
Euclides door Justus van Gent (±1474) De vijf postulaten van Euclides zijn de vijf axioma's uit het meesterwerk Elementen van Euclides waarmee de grondslagen van de meetkunde worden gelegd.
Nieuw!!: Wiskundige logica en Postulaten van Euclides · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Wiskundige logica en Predicatenlogica · Bekijk meer »
Principia Mathematica
Het voorblad van ''Principia Mathematica''. Principia Mathematica (Lat., "wiskundige grondslagen") is de titel van een driedelig werk over de grondslagen van de wiskunde, geschreven door de Britse wiskundigen en filosofen Bertrand Russell en Alfred North Whitehead.
Nieuw!!: Wiskundige logica en Principia Mathematica · Bekijk meer »
Programma van Hilbert
In de wiskunde was het programma van Hilbert, opgesteld door de Duitse wiskundige David Hilbert in de jaren 1920, een voorgestelde oplossing voor de grondslagencrisis in de wiskunde, toen eerdere pogingen om de grondslagen van de wiskunde te verhelderen bleken te lijden onder paradoxen en tegenstrijdigheden.
Nieuw!!: Wiskundige logica en Programma van Hilbert · Bekijk meer »
Programmeertaal
Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.
Nieuw!!: Wiskundige logica en Programmeertaal · Bekijk meer »
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Nieuw!!: Wiskundige logica en Propositielogica · Bekijk meer »
Reëel getal
De reële getallen zijn de getallen die op eenduidige wijze overeenkomen met punten op een rechte.
Nieuw!!: Wiskundige logica en Reëel getal · Bekijk meer »
Reële lijn
In de wiskunde is de reële lijn de verzameling \R van reële getallen opgevat als een ruimte van enige soort, zoals een topologische ruimte of een vectorruimte.
Nieuw!!: Wiskundige logica en Reële lijn · Bekijk meer »
Rekenen
detail van Allegorie van de rekenkundedoor Laurent de La Hyre Rekenen in groep 3 van de basisschool Met rekenen, aritmetica, cijferkunst, rekenkunde wordt een aantal bewerkingen, ook wel operaties genoemd, aangeduid die op getallen worden uitgevoerd.
Nieuw!!: Wiskundige logica en Rekenen · Bekijk meer »
Richard Dedekind
Richard Dedekind omstreeks 1900 Richard Dedekind omstreeks 1870 Julius Wilhelm Richard Dedekind (Braunschweig, 6 oktober 1831 – Braunschweig, 12 februari 1916) was een Duits wiskundige, die belangrijk werk heeft gedaan in de abstracte algebra, de algebraïsche getaltheorie en op het gebied van de grondslagen van de reële getallen.
Nieuw!!: Wiskundige logica en Richard Dedekind · Bekijk meer »
Semantiek
De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.
Nieuw!!: Wiskundige logica en Semantiek · Bekijk meer »
Stelling van Cantor
In de elementaire verzamelingenleer stelt de stelling van Cantor, dat voor elke verzameling A de verzameling van alle deelverzamelingen van A (de machtsverzameling van A) een strikt grotere kardinaliteit heeft dan A zelf.
Nieuw!!: Wiskundige logica en Stelling van Cantor · Bekijk meer »
Stelling van Löwenheim-Skolem
In de wiskundige logica stelt de stelling van Löwenheim-Skolem dat, als een aftelbare eerste-ordetheorie een oneindig model heeft, het dan voor elk oneindig kardinaalgetal κ een model van grootte κ heeft.
Nieuw!!: Wiskundige logica en Stelling van Löwenheim-Skolem · Bekijk meer »
Syllogisme
Een syllogisme of sluitredeAxters, S. (1937).
Nieuw!!: Wiskundige logica en Syllogisme · Bekijk meer »
Symbool
Symbolen op een grafsteen Symbolen op een speelkaart Een symbool of zinnebeeld is een teken waarbij geen natuurlijke relatie bestaat tussen de representatie van het teken en de betekenis die ermee wordt uitgedrukt.
Nieuw!!: Wiskundige logica en Symbool · Bekijk meer »
Syntaxis (taalkunde)
Syntaxis (van het Oudgriekse συν- syn-, "samen", en τάξις táxis, "regeling"), ook vaak zinsleer genoemd, is een deelgebied binnen de theoretische taalkunde dat in ruime zin de studie omvat van alles wat met de opbouw en structuur van zinsdelen en zinnen te maken heeft, ofwel van de zinsbouw.
Nieuw!!: Wiskundige logica en Syntaxis (taalkunde) · Bekijk meer »
Theoretische informatica
De theoretische informatica is het vakgebied binnen de informatica dat de logische en wiskundige grondslagen van de informatica bestudeert.
Nieuw!!: Wiskundige logica en Theoretische informatica · Bekijk meer »
Thoralf Skolem
Thoralf Skolem Albert Thoralf Skolem (Sandsvaer, 23 mei 1887 – Oslo, 23 maart 1963) was een Noorse wiskundige.
Nieuw!!: Wiskundige logica en Thoralf Skolem · Bekijk meer »
Transfiniet getal
Een transfiniet getal is een kardinaalgetal of ordinaalgetal dat groter dan alle eindige getallen is, maar niet noodzakelijkerwijs wat Georg Cantor noemde "absoluut oneindig".
Nieuw!!: Wiskundige logica en Transfiniet getal · Bekijk meer »
Transfiniete inductie
Schema Transfiniete inductie is een vorm van inductie die de volledige inductie op natuurlijke getallen naar willekeurige welgeordende verzamelingen uitbreidt, bijvoorbeeld verzamelingen van ordinaal- of kardinaalgetallen.
Nieuw!!: Wiskundige logica en Transfiniete inductie · Bekijk meer »
Typetheorie
In de wiskunde, logica en informatica houdt de typetheorie zich bezig met formele typesystemen.
Nieuw!!: Wiskundige logica en Typetheorie · Bekijk meer »
Verzamelingenleer
verzamelingen. De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde.
Nieuw!!: Wiskundige logica en Verzamelingenleer · Bekijk meer »
Volledige inductie
Volledige inductie kan worden geïllustreerd aan de hand van het domino-effect. In de wiskunde is volledige inductie een methode om te bewijzen dat een uitspraak geldig is voor alle natuurlijke getallen.
Nieuw!!: Wiskundige logica en Volledige inductie · Bekijk meer »
Volledigheidsstelling van Gödel
De volledigheidsstelling van Gödel is een fundamentele stelling in de wiskundige logica, die zegt dat elke semantische geldige uitspraak in de eerste-orde logica ook bewijsbaar is.
Nieuw!!: Wiskundige logica en Volledigheidsstelling van Gödel · Bekijk meer »
Wet van de uitgesloten derde
De wet van de uitgesloten derde of van het uitgesloten midden, ook wel tertium non datur (Lat., "een derde is niet gegeven"), is een logische wet die inhoudt dat iedere uitspraak waar of onwaar is; een andere, derde, mogelijkheid is er niet.
Nieuw!!: Wiskundige logica en Wet van de uitgesloten derde · Bekijk meer »
Willard Van Orman Quine
Willard Van Orman Quine (Akron, Ohio, 25 juni 1908 – Boston, 25 december 2000) was een invloedrijk Amerikaans filosoof en logicus in de analytische traditie uit de 20e eeuw.
Nieuw!!: Wiskundige logica en Willard Van Orman Quine · Bekijk meer »
Wiskunde
Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.
Nieuw!!: Wiskundige logica en Wiskunde · Bekijk meer »
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Nieuw!!: Wiskundige logica en Wiskundig bewijs · Bekijk meer »
Zermelo-Fraenkel-verzamelingenleer
In de verzamelingenleer, een deelgebied van de wiskunde, is de Zermelo-Fraenkel-verzamelingenleer, vernoemd naar de wiskundigen Ernst Zermelo en Abraham Fraenkel en vaak afgekort tot ZF, een van de verschillende axiomatische systemen, die in het begin van de twintigste eeuw werden voorgesteld om een verzamelingenleer te formuleren, zonder de paradoxen van de naïeve verzamelingenleer, zoals de paradox van Russell.
Nieuw!!: Wiskundige logica en Zermelo-Fraenkel-verzamelingenleer · Bekijk meer »
19e eeuw
De 19e eeuw (van de christelijke jaartelling) is de 19e periode van 100 jaar, dus bestaande uit de jaren 1801 tot en met 1900.
Nieuw!!: Wiskundige logica en 19e eeuw · Bekijk meer »
20e eeuw
De 20e eeuw (van de christelijke jaartelling) is de 20e periode van 100 jaar, dus bestaande uit de jaren 1901 tot en met 2000.
Nieuw!!: Wiskundige logica en 20e eeuw · Bekijk meer »
23 problemen van Hilbert
De 23 problemen van Hilbert is een lijst van 23 wiskundige problemen opgesomd door David Hilbert in een lezing die hij hield op het Internationaal Wiskundecongres in 1900.
Nieuw!!: Wiskundige logica en 23 problemen van Hilbert · Bekijk meer »