Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed
Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.
- Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
- Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
Zoekresultaten
Naar navigatie springen
Naar zoeken springen
- ...enleer]] worden behandeld, houdt het moderne onderzoek zich bezig met de [[axiomatische verzamelingenleer]], die logische methoden gebruikt om vast te stellen welk ...palen of onderzoekt of bepaalde klassen van structuren elementair zijn. De methode van de kwantoreliminatie wordt gebruikt om aan te tonen dat bepaalde theori ...16 kB (2.169 woorden) - 10 nov 2019 22:46
- === Axiomatische meetkunde === ...an meetkundige figuren wordt toegeschreven aan [[Thales van Milete]]. Deze methode liep vooruit op de meer abstracte benadering van de meetkunde, zoals door [ ...18 kB (2.411 woorden) - 10 nov 2019 22:29
- ...teerwetenschap, de [[isnad]], en de ontwikkeling van een wetenschappelijke methode voor open onderzoek om uitspraken te weerleggen, de [[ijtihad]], die op all ...ïcijnse filosoof [[Chrysippos]] van Soli. Hij ontwikkelde de eerst bekende axiomatische propositielogica met [[booleaanse operator]]en in een [[Kalkül]] vorm en pr ...24 kB (3.370 woorden) - 31 dec 2019 13:51
- ...'s. Hij wordt daarom wel beschouwd als een voorloper van de [[axiomatische methode]] in de moderne wiskunde. Veel van de resultaten in de ''Elementen'' zijn a ...kundige precisie, omdat een aantal logische axioma's ontbreekt. De moderne axiomatische behandeling van de meetkunde gaat terug op die van [[David Hilbert]] uit 18 ...7 kB (976 woorden) - 11 nov 2019 08:53
- ...tafysica]]. Het gehele werk volgt de [[axiomatische methode|„geometrische” methode]], in navolging van [[Euclides van Alexandrië|Euclides]]' ''[[Elementen van ...35 kB (4.794 woorden) - 8 feb 2018 13:37
- ...gen, waarin hij filosofische problemen onderzocht volgens de [[socratische methode]]. Enkele centrale ideeën van Plato's dialogen zijn: ...noodzaak om filosofie te organiseren op rationele, sceptische, logische en axiomatische gronden, zoals in het werk van René Descartes, [[Blaise Pascal]] en [[Thoma ...38 kB (5.542 woorden) - 26 feb 2021 18:45
- ...dergelijke kardinalen bestaan, kan in de meest voorkomende [[axiomatische methode|axiomatisering]] van de verzamelingenleer, de [[Zermelo-Fraenkel-verzamelin ...1 kB (176 woorden) - 19 apr 2013 11:02
- ...aanverwante systemen”). In dat artikel bewees hij voor elk [[Axiomatische methode|berekenbaar axiomatisch systeem]], dat krachtig genoeg is om de [[rekenkund ...32 kB (4.627 woorden) - 11 nov 2019 08:57