Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Gratis
Snellere toegang dan browser!
 

Axioma

Index Axioma

Een axioma (of postulaat) is in de wiskunde en de logica, sinds Euclides en Aristoteles, een niet bewezen, maar als grondslag aanvaarde bewering.

26 relaties: Aristoteles, Axioma's van Peano, Consistentie (logica), Contradictie, Deductief systeem, Euclides van Alexandrië, Grondslagen van de wiskunde, Kochs postulaten, Lichtsnelheid, Logica, Natuurkunde, Natuurlijk getal, Onvolledigheidsstellingen van Gödel, Parallellenpostulaat, Postulaten van de kwantummechanica, Postulaten van Euclides, Presuppositie, Propositie, Stelling (wiskunde), Theorie, Vacuüm, Verzameling (wiskunde), Wiskunde, Wiskundig bewijs, Wiskundige logica, Zermelo-Fraenkel-verzamelingenleer.

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!!: Axioma 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!!: Axioma en Axioma's van Peano · 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!!: Axioma en Consistentie (logica) · Bekijk meer »

Contradictie

Een contradictie of tegenspraak is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten tegelijkertijd waar moeten zijn.

Nieuw!!: Axioma en Contradictie · Bekijk meer »

Deductief systeem

Een deductief systeem - dat ook wel het deductieve apparaat van een formeel systeem wordt genoemd - is in de systeemtheorie een reeks axioma's en/of een axiomaschema met behulp waarvan theorema's worden afgeleid als formeel bewijs.

Nieuw!!: Axioma en Deductief systeem · 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!!: Axioma en Euclides van Alexandrië · Bekijk meer »

Grondslagen van de wiskunde

Grondslagen van de wiskunde zijn de aannames, de grondbeginselen en de uitgangspunten van de wiskunde.

Nieuw!!: Axioma en Grondslagen van de wiskunde · Bekijk meer »

Kochs postulaten

Kochs postulaten zijn een aantal regels (postulaten) in 1890 opgesteld door de Duitse arts Robert Koch om uit te kunnen maken of een bepaalde ziektekiem de oorzaak van een bepaalde ziekte is.

Nieuw!!: Axioma en Kochs postulaten · Bekijk meer »

Lichtsnelheid

De lichtsnelheid is de snelheid waarmee het licht en andere elektromagnetische straling zich voortplanten.

Nieuw!!: Axioma en Lichtsnelheid · Bekijk meer »

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Axioma en Logica · Bekijk meer »

Natuurkunde

natuurkundige verschijnselen Natuurkunde of fysica is de wetenschap die de algemene eigenschappen van materie, straling en energie bestudeert, evenals het gedrag ervan in de ruimte en de tijd.

Nieuw!!: Axioma en Natuurkunde · 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!!: Axioma 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!!: Axioma 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!!: Axioma en Parallellenpostulaat · Bekijk meer »

Postulaten van de kwantummechanica

Om in de kwantummechanica bepaalde methoden en ontwikkelingen door te voeren, moet men zich beroepen op een aantal niet wiskundig bewijsbare postulaten.

Nieuw!!: Axioma en Postulaten van de kwantummechanica · 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!!: Axioma en Postulaten van Euclides · Bekijk meer »

Presuppositie

Een presuppositie is in de semantiek, de pragmatiek en de logica een aan een propositie verbonden impliciete aanname of een hiermee verband houdend vaststaand objectief feit (axioma).

Nieuw!!: Axioma en Presuppositie · Bekijk meer »

Propositie

Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.

Nieuw!!: Axioma en Propositie · Bekijk meer »

Stelling (wiskunde)

bewijzen. In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen.

Nieuw!!: Axioma en Stelling (wiskunde) · 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!!: Axioma en Theorie · Bekijk meer »

Vacuüm

Een vacuüm is een ruimte zonder materie en (dus) zonder druk.

Nieuw!!: Axioma en Vacuüm · Bekijk meer »

Verzameling (wiskunde)

Venndiagram van de doorsnede A\cap B van twee verzamelingen A en B In de wiskunde is een verzameling een abstract object dat het totaal voorstelt van verschillende objecten, die elementen van de verzameling genoemd worden.

Nieuw!!: Axioma en Verzameling (wiskunde) · Bekijk meer »

Wiskunde

Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.

Nieuw!!: Axioma 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!!: Axioma en Wiskundig bewijs · Bekijk meer »

Wiskundige logica

De wiskundige logica is een deelgebied van de wiskunde.

Nieuw!!: Axioma en Wiskundige logica · 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!!: Axioma en Zermelo-Fraenkel-verzamelingenleer · Bekijk meer »

Richt hier:

Postulaat (wetenschap), Postulaten, Postuleren, Principe (filosofie).

UitgaandeInkomende
Hey! We zijn op Facebook nu! »