16 relaties: Andrej Kolmogorov, Arend Heyting, Element (wiskunde), Functie (wiskunde), Identieke afbeelding, Intuïtionisme, Luitzen Egbertus Jan Brouwer, Propositie, Rekenen, Stephen Cole Kleene, Theorie, Wet van de non-contradictie, Wet van de uitgesloten derde, Wiskunde, Wiskundig bewijs, Wiskundige logica.
Andrej Kolmogorov
Andrej Nikolajevitsj Kolmogorov (Russisch: Андрей Николаевич Колмогоров) (Tambov, 25 april 1903 – Moskou, 20 oktober 1987) was een Russische wiskundige die een belangrijke bijdrage heeft geleverd op het gebied van kansrekening en topologie.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Andrej Kolmogorov · Bekijk meer »
Arend Heyting
Arend Heyting (Amsterdam, 9 mei 1898 - Lugano, Zwitserland, 9 juli 1980) was een Nederlandse wiskundige en logicus.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Arend Heyting · Bekijk meer »
Element (wiskunde)
In de verzamelingenleer is een element een onderdeel van een verzameling of, meer algemeen, van een klasse.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Element (wiskunde) · Bekijk meer »
Functie (wiskunde)
Grafiek van de functie f(x).
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Functie (wiskunde) · Bekijk meer »
Identieke afbeelding
In de wiskunde is een identieke afbeelding of identieke functie, ook identiteit of identiteitsfunctie genoemd, een afbeelding, meestal door I voorgesteld, van een verzameling naar zichzelf die ieder element op zichzelf afbeeldt.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Identieke afbeelding · 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!!: Brouwer-Heyting-Kolmogorovinterpretatie en Intuïtionisme · 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!!: Brouwer-Heyting-Kolmogorovinterpretatie en Luitzen Egbertus Jan Brouwer · Bekijk meer »
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Propositie · 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!!: Brouwer-Heyting-Kolmogorovinterpretatie en Rekenen · Bekijk meer »
Stephen Cole Kleene
Stephen Cole Kleene (Hatford, 5 januari 1909 – Madison, 25 januari 1994) was een Amerikaans wiskundige en theoretisch informaticus.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Stephen Cole Kleene · Bekijk meer »
Theorie
Planck geschreven als de constante van Planck ''h'' maal de frequentie ''ν'' (bij licht de kleur) van de uitgezonden straling Een theorie is een geheel van denkbeelden, hypothesen en verklaringen die in onderlinge samenhang worden beschreven.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Theorie · Bekijk meer »
Wet van de non-contradictie
Wet van de non-contradictie, het beginsel van non-contradictie of het principium non contradictionis is een logische eerste aanname van Aristoteles, die stelt: "iemand kan niet zeggen dat een ding iets is en dat het iets niet is op dezelfde wijze op hetzelfde moment".
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Wet van de non-contradictie · 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!!: Brouwer-Heyting-Kolmogorovinterpretatie en Wet van de uitgesloten derde · Bekijk meer »
Wiskunde
Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie 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!!: Brouwer-Heyting-Kolmogorovinterpretatie en Wiskundig bewijs · Bekijk meer »
Wiskundige logica
De wiskundige logica is een deelgebied van de wiskunde.
Nieuw!!: Brouwer-Heyting-Kolmogorovinterpretatie en Wiskundige logica · Bekijk meer »