Zoekresultaten

;Filosofie * [[Gelijkheid (logica)]], gelijkheid in termen van booleaanse algebra …

…e)|rij]] van [[rationaal getal|rationale getallen]], als gegeven [[object (filosofie)|object]]en met zich meebrengt. …passen. In de [[Zeno's paradoxen|paradox van Zeno]], getiteld Achilles en de schildpad, blijkt duidelijk waarom dit onmogelijk is. …

…023226635</ref> Dit wordt in de symboliek van de [[booleaanse algebra]] en de [[propositielogica]] uitgedrukt als: …, het teken voor de [[logische negatie]] en ∧, uitgesproken als 'en', voor de [[logische conjunctie]]. …

…en speciaal soort [[afbeelding (wiskunde)|afbeelding]] tussen [[categorie (wiskunde)|categorieën]]. …or categorietheoretici staat een functor voor een bepaald soort [[functie (wiskunde)|functie]]. …

…wijze gebruik wordt gemaakt van een [[Verzameling (wiskunde)|verzameling]] van [[Axioma|axioma's]]. …schappen dan te verifiëren. Deze kwesties ontstaan meestal in de definitie van functies. …

…]s. [[Categorie (wiskunde)|Categorieën]] zijn gelijktijdig overkoepelingen van andere wiskundige objecten alsook wiskundige objecten op zichzelf. …g draait men dit om: alle onderwerpen van onderzoek die zich in termen van de verzamelingenleer laten uitdrukken, zijn automatisch wiskundige objecten. …

…ructieve wiskunde gezien. Een andere belangrijke stroming is de recursieve wiskunde. …an de [[computer]]s, waardoor de interesse in de [[berekenbaarheid]] in de wiskunde aanzienlijk is verscherpt. …

'''Eenentwintig''' is een [[hoofdtelwoord]] dat staat voor de waarde [[1 (getal)|één]] meer dan [[20 (getal)|twintig]], en wordt in het… ==Wiskunde== …

…het enige werk van Wittgenstein dat tijdens zijn leven gepubliceerd werd. De Tractatus werd in [[1922]] in het [[Duits]] en [[Engels]] gepubliceerd als …lde tegenover [[Ludwig von Ficker]] dat de Tractatus hoofdzakelijk ethisch van aard was.<ref>[http://www.iep.utm.edu/wittgens/#H2 ''Ludwig Wittgenstein (1 …

| onderschrift = Andreas Freiherr von Ettingshausen, Lithografie van Adolf Deuthage, 1853 | opleiding = [[Universiteit van Wenen]] …

…sme 0_''XY'' : ''X'' → ''Y'' geldt met de volgende [[eigenschap (filosofie)|eigenschap]]: voor elke twee willekeurige morfismen ''f'' : ''R'' → ''S'' Dan worden de morfismen 0_''XY'' een '''familie van morfismen''' in '''C''' genoemd. …

| portaal2 = Wiskunde | portaal3 = Filosofie …

In de [[wiskundige logica]] is een '''Gödelnummer''' een uniek [[natuurlijk getal …ijs van zijn [[Onvolledigheidsstellingen van Gödel|Onvolledigheidsstelling van Gödel]]. …

{{Zie artikel|Voor de meta-ethische these over morele inzichten, zie [[Ethisch intuïtionisme]]}} …angrijke vertegenwoordigers waren. Zij werkten aan de [[grondslagen van de wiskunde]] en hebben geprobeerd een nieuw [[formeel systeem]] op te zetten. …

…philosophy.ox.ac.uk/people/nick-bostrom Nick Bostrom Profiel] Universiteit van Oxford, geraadpleegd 2 september 2022</ref><ref>[https://nexus-instituut.nl …voor zijn werk aan het [[existentieel risico]], [[antropisch principe]] en de [[simulatiehypothese]]. …

…entiteitsrelatie''', is de [[tweeplaatsige relatie]] op een [[Verzameling (wiskunde)|verzameling]] <math>X</math>, die wordt gedefinieerd door …ie op enige verzameling <math>S</math> is, dat het een [[deelverzameling]] van enig andere equivalentierelatie op <math>S</math> is. …

…Door deze onvolledigheidsstellingen gaf Gödel het [[platonisme]] binnen de wiskunde een nieuw elan. …enkunde]] van de [[natuurlijk getal|natuurlijke getallen]] geformaliseerd. De meest geslaagde poging hiertoe werd ondernomen door [[Bertrand Russell]] en …

…Jodendom|Joodse]] afkomst. Tarski heeft belangrijke bijdragen geleverd aan de [[algebra]], [[maattheorie]], [[modeltheorie]], [[verzamelingenleer]], [[me …ttemin schreef hij zich in 1918 op de [[Universiteit van Warschau]] in met de intentie om [[biologie]] te studeren.<ref>[[#F-F|Feferman & Feferman]], blz …

'''Googol''' is in de [[wiskunde]] een aanduiding van een getal met de waarde 10¹⁰⁰. Dat wordt uitgeschreven als een één met honderd nu …voorstelbaar groot getal en [[oneindig]] en met dat doel wordt het soms in de wiskundeles gebruikt. …

…an de rekenkunde. Zijn werk stond aan de basis van de hoge vlucht die de [[wiskunde]] nam tussen 1870 en 1940. …tweehonderd gepubliceerde papers en boeken (waarvan het merendeel over de wiskunde handelde). …