Inhoudsopgave
47 relaties: Analytische filosofie, Anne Sjerp Troelstra, Arend Heyting, Bernard Williams (filosoof), Bewijs door contrapositie, Bewijs uit het ongerijmde, Brouwer-Heyting-Kolmogorovinterpretatie, Categorietheorie (wiskunde), Constructivisme (wiskunde), Contradictie, David Hilbert, Dekpuntstelling van Brouwer, Diederik Johannes Korteweg, Ex falso sequitur quod libet, Filosofie van de wiskunde, Formalisme (wiskunde), Georg Cantor, Gerrit Mannoury, Geschiedenis van de logica, Geschiedenis van Overschie, Grondslagen van de wiskunde, Hausdorff-ruimte, Horn-clausule, Intuïtionisme, Janus de Winter, Johan de Iongh, Klassieke logica, Koninklijk Wiskundig Genootschap, Kripkemodel, Kurt Gödel, Kwantor (logica), Lijst van -ismen, Logische negatie, Louis Couturat, Luitzen Egbertus Jan Brouwer, Maat (wiskunde), Martin Löb, Max Euwe, Meerwaardige logica, Natuurlijke deductie, Paraconsistente logica, Propositielogica, Sidney Hook, Stephen Cole Kleene, Waarheidswaarde, Wiskunde, Wiskundige logica.
Analytische filosofie
De analytische filosofie is een stijl van filosoferen in de hedendaagse filosofie die gekenmerkt wordt door het streven naar helderheid in verwoording en argumentatie van het ideeëngoed, meer in het bijzonder in de natuurwetenschappen.
Bekijken Intuïtionisme en Analytische filosofie
Anne Sjerp Troelstra
Anne Sjerp Troelstra (Maartensdijk, 10 augustus 1939 – Blaricum, 7 maart 2019) was een Nederlands hoogleraar zuivere wiskunde en grondslagen van de wiskunde aan het Instituut voor Taal, Logica, en Informatie (ITLI) van de Universiteit van Amsterdam.
Bekijken Intuïtionisme en Anne Sjerp Troelstra
Arend Heyting
Arend Heyting (Amsterdam, 9 mei 1898 - Lugano, Zwitserland, 9 juli 1980) was een Nederlandse wiskundige en logicus.
Bekijken Intuïtionisme en Arend Heyting
Bernard Williams (filosoof)
Bernard Arthur Owen Williams (Westcliff-on-Sea, 21 september 1929 – Rome, 10 juni 2003) was een Brits filosoof gespecialiseerd in de ethiek, die door de krant The Times de "briljantste en belangrijkste Britse filosoof van zijn tijd" werd genoemd.
Bekijken Intuïtionisme en Bernard Williams (filosoof)
Bewijs door contrapositie
Het bewijs door contrapositie is een methode om het wiskundige bewijs te geven van de stelling door het bewijzen van de omgekeerde stelling In de klassieke logica is de tweede stelling equivalent aan de eerste: een bewijs van de ene stelling is ook een bewijs voor de andere stelling.
Bekijken Intuïtionisme en Bewijs door contrapositie
Bewijs uit het ongerijmde
Een bewijs uit het ongerijmde, Latijn reductio ad absurdum, herleiding tot het absurde, soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde.
Bekijken Intuïtionisme en Bewijs uit het ongerijmde
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.
Bekijken Intuïtionisme en Brouwer-Heyting-Kolmogorovinterpretatie
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.
Bekijken Intuïtionisme en Categorietheorie (wiskunde)
Constructivisme (wiskunde)
Het constructivisme is een stroming in de filosofie van de wiskunde die stelt dat het enige geldige bewijs van het bestaan van een wiskundig object een constructie van dat object is.
Bekijken Intuïtionisme en Constructivisme (wiskunde)
Contradictie
Een contradictie of tegenspraak is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten tegelijkertijd waar moeten zijn.
Bekijken Intuïtionisme en Contradictie
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.
Bekijken Intuïtionisme en David Hilbert
Dekpuntstelling van Brouwer
De dekpuntstelling van Brouwer gaat over continue afbeeldingen in een n-dimensionale topologische ruimte.
Bekijken Intuïtionisme en Dekpuntstelling van Brouwer
Diederik Johannes Korteweg
D.J. Korteweg Theo Molkenboer Diederik Johannes Korteweg ('s-Hertogenbosch, 31 maart 1848 - Amsterdam, 10 mei 1941) was een Nederlands wiskundige.
Bekijken Intuïtionisme en Diederik Johannes Korteweg
Ex falso sequitur quod libet
Ex falso sequitur quod libet ("uit het ongerijmde volgt om het even wat") is een bewijsregel uit de logica.
Bekijken Intuïtionisme en Ex falso sequitur quod libet
Filosofie van de wiskunde
De filosofie van de wiskunde is de tak van wetenschapsfilosofie die zich bezighoudt met de wiskunde.
Bekijken Intuïtionisme en Filosofie van de wiskunde
Formalisme (wiskunde)
In de grondslagen--, de filosofie van de wiskunde, en de filosofie van de logica is het formalisme een theorie, die het geven van enige betekenis van wiskundige symbolen, zowel objectief (zoals voorgesteld in het platonisme), als subjectief (zoals voorgesteld in het intuïtionisme) veroordeelt.
Bekijken Intuïtionisme en Formalisme (wiskunde)
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.
Bekijken Intuïtionisme en Georg Cantor
Gerrit Mannoury
Gerrit Mannoury (Wormerveer, 17 mei 1867 - Amsterdam, 30 januari 1956) was een Nederlandse wiskundige en filosoof die tevens sociaal bewogen en politiek actief was.
Bekijken Intuïtionisme en Gerrit Mannoury
Geschiedenis van de logica
De geschiedenis van de logica bestrijkt de ontwikkeling van logica, zoals deze in de geschiedenis van verschillende culturen en tradities is voorgekomen.
Bekijken Intuïtionisme en Geschiedenis van de logica
Geschiedenis van Overschie
Schie en kerk van Overschie door Jongkind Hoge Brug over de Delfshavense Schie Dit artikel behandelt de geschiedenis van Overschie vanaf het ontstaan van het dorp Schie of Scyhe tot aan de annexatie door Rotterdam.
Bekijken Intuïtionisme en Geschiedenis van Overschie
Grondslagen van de wiskunde
Grondslagen van de wiskunde zijn de aannames, de grondbeginselen en de uitgangspunten van de wiskunde.
Bekijken Intuïtionisme en Grondslagen van de wiskunde
Hausdorff-ruimte
omgevingen U en V In de topologie en andere deelgebieden van de wiskunde is een hausdorff-ruimte een topologische ruimte waarin voor elk tweetal verschillende punten x,y\in X disjuncte omgevingen bestaan.
Bekijken Intuïtionisme en Hausdorff-ruimte
Horn-clausule
In de logica is een Horn-clausule (Engels: Horn clause) een clausule, een disjunctie van literalen, met ten hoogste 1 positieve literaal.
Bekijken Intuïtionisme en Horn-clausule
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.
Bekijken Intuïtionisme en Intuïtionisme
Janus de Winter
Adrianus Jacobus Johannes (Janus) de Winter (Utrecht, 28 mei 1882 – Den Helder, 5 augustus 1951) was een Nederlands behangschilder, lithograaf en schilder-mysticus.
Bekijken Intuïtionisme en Janus de Winter
Johan de Iongh
Johan Jilles de Iongh (Arnhem, 13 juli 1915 – Nijmegen, 9 juni 1999) was een Nederlandse hoogleraar wiskunde aan de Radboud Universiteit Nijmegen, die zich bezighield met de grondslagen van de wiskunde.
Bekijken Intuïtionisme en Johan de Iongh
Klassieke logica
In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt.
Bekijken Intuïtionisme en Klassieke logica
Koninklijk Wiskundig Genootschap
Het Koninklijk Wiskundig Genootschap (afgekort KWG) heeft als doel de wiskunde te bevorderen, en haar beoefening en toepassingen aan te moedigen.
Bekijken Intuïtionisme en Koninklijk Wiskundig Genootschap
Kripkemodel
Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica.
Bekijken Intuïtionisme en Kripkemodel
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.
Bekijken Intuïtionisme en Kurt Gödel
Kwantor (logica)
Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica.
Bekijken Intuïtionisme en Kwantor (logica)
Lijst van -ismen
Deze pagina bevat een (incomplete) lijst met ismen die een lemma hebben in de Nederlandstalige Wikipedia.
Bekijken Intuïtionisme en Lijst van -ismen
Logische negatie
Logische negatie of ontkenning is een operatie in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie verandert van waar in onwaar en van onwaar in waar.
Bekijken Intuïtionisme en Logische negatie
Louis Couturat
Louis Couturat Louis Couturat (Ris-Orangis bij Parijs, 17 januari 1868 – Ris-Orangis-Melun, 3 augustus 1914) was een Franse filosoof, logicus, wiskundige en linguïst.
Bekijken Intuïtionisme en Louis Couturat
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan (Bertus) Brouwer (Overschie, 27 februari 1881 – Blaricum, 2 december 1966) was een Nederlandse wiskundige en filosoof.
Bekijken Intuïtionisme en Luitzen Egbertus Jan Brouwer
Maat (wiskunde)
Een maat kent aan verzamelingen niet-negatieve reële getallen toe. Grotere verzamelingen worden op grotere (of minstens even grote) reële getallen afgebeeld. In de maattheorie, een deelgebied van de wiskunde, is een maat intuïtief gesproken een afbeelding die een grootte, volume of kans toekent aan objecten.
Bekijken Intuïtionisme en Maat (wiskunde)
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.
Bekijken Intuïtionisme en Martin Löb
Max Euwe
Machgielis (Max) Euwe (Watergraafsmeer, 20 mei 1901 – Amsterdam, 26 november 1981) was een Nederlandse schaker en wiskundeleraar.
Bekijken Intuïtionisme en Max Euwe
Meerwaardige logica
Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle logische systemen waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben.
Bekijken Intuïtionisme en Meerwaardige logica
Natuurlijke deductie
Natuurlijke deductie is een methode om via deductie met noodzakelijkheid de geldigheid van een redenering conform vastgestelde regels te bewijzen in de logica.
Bekijken Intuïtionisme en Natuurlijke deductie
Paraconsistente logica
Een paraconsistente logica is een logica die tegenstrijdigheden niet verwerpt.
Bekijken Intuïtionisme en Paraconsistente logica
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Bekijken Intuïtionisme en Propositielogica
Sidney Hook
Sidney Hook (20 december 1902 - 12 juli 1989) was een Amerikaanse pragmatisch filosoof, ook bekend vanwege zijn bijdragen aan verscheidene publieke debatten.
Bekijken Intuïtionisme en Sidney Hook
Stephen Cole Kleene
Stephen Cole Kleene (Hatford, 5 januari 1909 – Madison, 25 januari 1994) was een Amerikaans wiskundige en theoretisch informaticus.
Bekijken Intuïtionisme en Stephen Cole Kleene
Waarheidswaarde
In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is.
Bekijken Intuïtionisme en Waarheidswaarde
Wiskunde
Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.
Bekijken Intuïtionisme en Wiskunde
Wiskundige logica
De wiskundige logica is een deelgebied van de wiskunde.
Bekijken Intuïtionisme en Wiskundige logica
Ook bekend als Constructieve logica, Intuïtionistische logica.