Snellere toegang dan browser!
57 relaties: Abelse groep, Algebra, Alonzo Church, Antisemitisme, Aristoteles, Axioma's van Peano, Banach-tarskiparadox, Berkeley (Californië), Biologie, Cilindrische algebra, Correspondentietheorie, Dan en slechts dan als, Eindige verzameling, Erwt, Evert Willem Beth, Filosofie van de wiskunde, Formele taal, Gottlob Frege, Groep (wiskunde), Jan Łukasiewicz, Jodendom, Keuzeaxioma, Kurt Gödel, Lambdacalculus, Leugenaarsparadox, Logica, Maattheorie, Metawiskunde, Modeltheorie, Natuurlijk getal, Onvolledigheidsstellingen van Gödel, Paradox (logica), Polen, Pools, Projectieve meetkunde, Reëel getal, Semantiek, Stanisław Leśniewski, Stefan Banach, Stefan Mazurkiewicz, Tralie (wiskunde), Universiteit van Californië - Berkeley, Universiteit van Warschau, Verenigde Staten, Verzamelingenleer, Waarheid, Wacław Sierpiński, Warschau, Wenen, Wiskundig bewijs, ..., Wiskundige, Wiskundige logica, Zon, 14 januari, 1901, 1983, 26 oktober. Uitbreiden index (7 meer) »
Abelse groep
Een abelse groep, ook wel commutatieve groep genoemd, is een groep die er aan voldoet dat het product van twee elementen niet van de volgorde afhangt waarin de groepsbewerking wordt uitgevoerd, dus altijd commutatief is.
Nieuw!!: Alfred Tarski en Abelse groep · Bekijk meer »
Algebra
Algebra is de tak van de wiskunde die de betrekkingen van door letters en tekens aangeduide grootheden onderzoekt.
Nieuw!!: Alfred Tarski en Algebra · Bekijk meer »
Alonzo Church
Alonzo Church (Washington D.C., 14 juni 1903 - Hudson (Ohio), 11 augustus 1995) was een Amerikaans wiskundige en logicus.
Nieuw!!: Alfred Tarski en Alonzo Church · Bekijk meer »
Antisemitisme
Antisemitisme is de discriminerende en racistische behandeling van mensen op basis van een vermeende etniciteit, het woord betekent letterlijk 'haat jegens alle Semieten, waarmee de Semitische volkeren, sprekers van Semitische talen worden bedoeld.
Nieuw!!: Alfred Tarski en Antisemitisme · 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!!: Alfred Tarski en Aristoteles · 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!!: Alfred Tarski en Axioma's van Peano · Bekijk meer »
Banach-tarskiparadox
Een (massieve) bol wordt verdeeld in een eindig aantal stukken. Die worden vervolgens samengevoegd tot twee bollen, beide even groot als het origineel. De Banach-Tarskiparadox is een stelling uit de meetkunde die zegt dat een massieve driedimensionale bol in een eindig aantal disjuncte (dat wil zeggen niet overlappende) delen gesplitst kan worden die weer samengevoegd kunnen worden tot twee identieke kopieën van de oorspronkelijke bol.
Nieuw!!: Alfred Tarski en Banach-tarskiparadox · Bekijk meer »
Berkeley (Californië)
Berkeley is een stad in de Amerikaanse staat Californië en valt bestuurlijk gezien onder Alameda County.
Nieuw!!: Alfred Tarski en Berkeley (Californië) · Bekijk meer »
Biologie
Animalia - Oeros (''Bos primigenius taurus'') Plantae - Tarwe (''Triticum'') Fungi - Gewone morielje (''Morchella esculenta'') Virus - Gammafaag Biologie is de natuurwetenschap die zich richt op organismen, levensprocessen en levensverschijnselen.
Nieuw!!: Alfred Tarski en Biologie · Bekijk meer »
Cilindrische algebra
Een cilindrische algebra is een algebraïsche structuur, bedacht door Alfred Tarski, die op natuurlijke wijze verschijnt in de algebraïsering van de eerste-ordelogica.
Nieuw!!: Alfred Tarski en Cilindrische algebra · Bekijk meer »
Correspondentietheorie
Een correspondentietheorie, of correspondentietheorie van de waarheid (Engels: correspondence theory of truth), is een filosofische theorie die stelt dat de waarheid van een bewering afhangt van de relatie van die bewering tot de wereld (of: tot de werkelijkheid).
Nieuw!!: Alfred Tarski en Correspondentietheorie · Bekijk meer »
Dan en slechts dan als
Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven.
Nieuw!!: Alfred Tarski en Dan en slechts dan als · Bekijk meer »
Eindige verzameling
Een eindige verzameling is in de verzamelingenleer, een deelgebied van de wiskunde, een verzameling met een eindig aantal elementen.
Nieuw!!: Alfred Tarski en Eindige verzameling · Bekijk meer »
Erwt
De erwt (Pisum sativum) is een eenjarige plant die behoort tot de vlinderbloemenfamilie (Fabaceae).
Nieuw!!: Alfred Tarski en Erwt · Bekijk meer »
Evert Willem Beth
Evert Willem Beth (Stad Almelo, 7 juli 1908 - Amsterdam, 12 april 1964) was een Nederlandse filosoof en logicus die bijdragen heeft geleverd op een breed gebied van de formele wetenschap, te weten de logica, filosofie van de wiskunde, grondslagenonderzoek en geschiedenis der exacte wetenschappen.
Nieuw!!: Alfred Tarski en Evert Willem Beth · Bekijk meer »
Filosofie van de wiskunde
De filosofie van de wiskunde is de tak van wetenschapsfilosofie die zich bezighoudt met de wiskunde.
Nieuw!!: Alfred Tarski en Filosofie van de wiskunde · Bekijk meer »
Formele taal
De term formele taal heeft ten minste drie verwante betekenissen.
Nieuw!!: Alfred Tarski en Formele taal · 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!!: Alfred Tarski en Gottlob Frege · Bekijk meer »
Groep (wiskunde)
De mogelijke manipulaties van de Rubiks kubus vormen een groep. In de groepentheorie, een deelgebied van de wiskunde, is een groep een algebraïsche structuur die bestaat uit een verzameling G en een binaire operatie, de groepsbewerking, die aan twee elementen van G weer een element van G toevoegt.
Nieuw!!: Alfred Tarski en Groep (wiskunde) · Bekijk meer »
Jan Łukasiewicz
Jan Łukasiewicz (Lwów, Galicië, 21 december 1878 – Dublin, 13 februari 1956) was een etnisch-Poolse wiskundige en logicus.
Nieuw!!: Alfred Tarski en Jan Łukasiewicz · Bekijk meer »
Jodendom
De menora is een traditioneel symbool van het jodendom De davidster is een ander symbool van het jodendom Het jodendom is de cultuur, levenswijze en religie van het Joodse volk en de oudste of een van de vroegst ontstane monotheïstische godsdiensten en behoort tot de oudste religieuze tradities die vandaag de dag nog worden beoefend.
Nieuw!!: Alfred Tarski en Jodendom · Bekijk meer »
Keuzeaxioma
Het keuzeaxioma is een enigszins controversieel axioma uit de verzamelingenleer, dat in 1904 werd geformuleerd door Ernst Zermelo.
Nieuw!!: Alfred Tarski en Keuzeaxioma · 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!!: Alfred Tarski en Kurt Gödel · 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!!: Alfred Tarski en Lambdacalculus · Bekijk meer »
Leugenaarsparadox
De leugenaarsparadox is een bekende logische paradox die als volgt geformuleerd kan worden: Als bovenstaande zin waar is, dan is hij niet waar, en spreekt hij zichzelf tegen.
Nieuw!!: Alfred Tarski en Leugenaarsparadox · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Alfred Tarski en Logica · Bekijk meer »
Maattheorie
De maattheorie is het deelgebied van de wiskunde dat de elementaire begrippen van maat (lengte, oppervlakte en volume) veralgemeent, zodat ook aan ingewikkelder verzamelingen dan die van 'gewone' punten in een ruimte een maat kan worden toegekend.
Nieuw!!: Alfred Tarski en Maattheorie · Bekijk meer »
Metawiskunde
Metawiskunde is de studie van wiskunde aan de hand van wiskundige modellen.
Nieuw!!: Alfred Tarski en Metawiskunde · 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!!: Alfred Tarski en Modeltheorie · 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!!: Alfred Tarski en Natuurlijk getal · 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!!: Alfred Tarski en Onvolledigheidsstellingen van Gödel · Bekijk meer »
Paradox (logica)
Een penrose-driehoek Een paradox is een tegenstrijdige conclusie die niettemin ontstaat als gevolg van een correcte redenatie binnen een correcte hypothese.
Nieuw!!: Alfred Tarski en Paradox (logica) · Bekijk meer »
Polen
Polen (Pools: Polska), officieel de Republiek Polen (Pools: Rzeczpospolita Polska), is een land in Centraal-Europa.
Nieuw!!: Alfred Tarski en Polen · Bekijk meer »
Pools
Pools alfabetboek uit de 16e eeuw Het Pools (język polski, ook wel polszczyzna) is een West-Slavische taal met ongeveer 40 miljoen sprekers.
Nieuw!!: Alfred Tarski en Pools · Bekijk meer »
Projectieve meetkunde
polaire hoekpunten. Dergelijke kunstzinnige figuren zijn gegrond in principes van de projectieve meetkunde. In de wiskunde is projectieve meetkunde een meetkunde zonder metriek.
Nieuw!!: Alfred Tarski en Projectieve meetkunde · Bekijk meer »
Reëel getal
De reële getallen zijn de getallen die op eenduidige wijze overeenkomen met punten op een rechte.
Nieuw!!: Alfred Tarski en Reëel getal · 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!!: Alfred Tarski en Semantiek · Bekijk meer »
Stanisław Leśniewski
Stanisław Leśniewski Stanisław Leśniewski (Serpukhov, 30 maart 1886 - Warschau, 13 mei 1939) was een Pools wiskundige, filosoof en logicus.
Nieuw!!: Alfred Tarski en Stanisław Leśniewski · Bekijk meer »
Stefan Banach
Stefan Banach Buste van Stefan Banach in Krakau Stefan Banach (Krakau, 30 maart 1892 – Lemberg, 31 augustus 1945) was een Poolse wiskundige, een van de drijvende krachten van de Lwów-stroming binnen de wiskunde in het Polen van voor de Tweede Wereldoorlog.
Nieuw!!: Alfred Tarski en Stefan Banach · Bekijk meer »
Stefan Mazurkiewicz
Stefan Mazurkiewicz in 1935 Stefan Mazurkiewicz (Warschau, 25 september 1888 - Grodzisk Mazowiecki, 19 juni 1945) was een Poolse wiskundige die werkte op gebieden van de wiskundige analyse, topologie en kansrekening.
Nieuw!!: Alfred Tarski en Stefan Mazurkiewicz · Bekijk meer »
Tralie (wiskunde)
Hasse-diagram van de tralie van de partities van 1,2,3,4 In de wiskunde is een tralie (Engels: lattice) een partieel geordende verzameling waarvan elke eindige deelverzameling zowel een supremum als een infimum heeft.
Nieuw!!: Alfred Tarski en Tralie (wiskunde) · Bekijk meer »
Universiteit van Californië - Berkeley
Memorial Glade op de campus van UC Berkeley De Universiteit van Californië - Berkeley (Engels: University of California, Berkeley, ook wel UC Berkeley, Berkeley, California of kortweg Cal genoemd) is de oudste campus van de Universiteit van Californië en bevindt zich in Berkeley aan de oostzijde van de Baai van San Francisco, in de Amerikaanse staat Californië.
Nieuw!!: Alfred Tarski en Universiteit van Californië - Berkeley · Bekijk meer »
Universiteit van Warschau
De Universiteit van Warschau (Pools: Uniwersytet Warszawski) is de grootste universiteit van Polen en samen met de Jagiellonische Universiteit in Krakau een van de twee beroemdste universiteiten van het land.
Nieuw!!: Alfred Tarski en Universiteit van Warschau · Bekijk meer »
Verenigde Staten
De Verenigde Staten, officieel de Verenigde Staten van Amerika, afgekort VS (Engels: United States of America, afgekort als USA of US), vaak (totum pro parte) Amerika (America) genoemd, is een federatie van 50 staten en het District of Columbia, grotendeels in Noord-Amerika gelegen.
Nieuw!!: Alfred Tarski en Verenigde Staten · Bekijk meer »
Verzamelingenleer
verzamelingen. De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde.
Nieuw!!: Alfred Tarski en Verzamelingenleer · Bekijk meer »
Waarheid
Walter Seymour Allward, ''Veritas'', 1920 Waarheid is het in overeenstemming zijn met de werkelijkheid.
Nieuw!!: Alfred Tarski en Waarheid · Bekijk meer »
Wacław Sierpiński
Drie iteraties (rood, zwart, blauw) van de Sierpiński-kromme Wacław Sierpiński (Warschau, 14 maart 1882 - aldaar, 21 oktober 1969) was een Pools wiskundige.
Nieuw!!: Alfred Tarski en Wacław Sierpiński · Bekijk meer »
Warschau
Beeld van de sirene van Warschau aan de rivier Wisla. Warschau (Pools: Warszawa) is de hoofdstad van Polen en met 1.860.281 inwoners (2021) tevens de grootste stad van het land.
Nieuw!!: Alfred Tarski en Warschau · Bekijk meer »
Wenen
Wenen (Duits: Wien /viːn/; Beiers-Oostenrijks: Wean) is de hoofdstad van Oostenrijk en vormt sinds 1922 een eigen deelstaat.
Nieuw!!: Alfred Tarski en Wenen · 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!!: Alfred Tarski en Wiskundig bewijs · Bekijk meer »
Wiskundige
''Simon Stevin mathematicus insigni'', beroemde wiskundige anonieme Nederlandse graveur, 17e eeuw. Icones Leidenses 40, Universiteit Leiden. Een wiskundige, ook mathemaat of mathematicus, is een geleerde die de wiskunde beoefent.
Nieuw!!: Alfred Tarski en Wiskundige · Bekijk meer »
Wiskundige logica
De wiskundige logica is een deelgebied van de wiskunde.
Nieuw!!: Alfred Tarski en Wiskundige logica · Bekijk meer »
Zon
De zon is de ster die het dichtst bij de aarde staat en het centrum van het zonnestelsel vormt.
Nieuw!!: Alfred Tarski en Zon · Bekijk meer »
14 januari
14 januari is de 14de dag van het jaar in de gregoriaanse kalender.
Nieuw!!: Alfred Tarski en 14 januari · Bekijk meer »
1901
De moordaanslag op McKinley (6 september 1901) Het jaar 1901 is het eerste jaar in de 20e eeuw volgens de christelijke jaartelling.
Nieuw!!: Alfred Tarski en 1901 · Bekijk meer »
1983
Het jaar 1983 is een jaartal volgens de christelijke jaartelling.
Nieuw!!: Alfred Tarski en 1983 · Bekijk meer »
26 oktober
26 oktober is de 299ste dag van het jaar (300ste dag in een schrikkeljaar) in de gregoriaanse kalender.
Nieuw!!: Alfred Tarski en 26 oktober · Bekijk meer »
