Listing 1 - 2 of 2 |
Sort by
|
Choose an application
Over wat waar is, kun je flink van mening verschillen. In de wiskunde kun je van alles berekenen en ook vermoedens hebben over het waar zijn van allerlei beweringen. Deze zebra houdt zich bezig met de vraag wat een bewijs is en welke dingen bewijsbaar zijn. Daarvoor zijn er verschillende methoden die worden opgesomd, maar vaak is een tamelijk onverwachte gedachtengang effectief. Dit laten we zien aan de hand van een groot aantal voorbeelden uit de getaltheorie en de vlakke meetkunde. (Bron: www.epsilon-uitgeven.nl)
Wiskunde. --- Didactics of secundary education --- Logic --- Didactics of mathematics --- wiskunde --- logic --- Mathematical logic --- Wiskunde --- 51 <075> --- 510.65 --- Axiomatiek --- Wiskundig bewijs --- 510 --- Wiskundige bewijzen --- 103502.jpg --- 510.65 Logico-mathematical theories. Formal arithmetic. Formal number theory --- Logico-mathematical theories. Formal arithmetic. Formal number theory --- 51 <075> Mathematics--Schoolboeken --- Mathematics--Schoolboeken --- Secundair onderwijs --- Redeneren --- Denken
Choose an application
Gödel, Kurt --- 510.65 --- Godel's theorem --- 51-8 --- Gödel's incompleteness theorem --- Undecidable theories --- Completeness theorem --- Incompleteness theorems --- Decidability (Mathematical logic) --- Logico-mathematical theories. Formal arithmetic. Formal number theory --- Mathematical games and recreations --- 51-8 Mathematical games and recreations --- 510.65 Logico-mathematical theories. Formal arithmetic. Formal number theory --- Arithmetic --- Logic, Symbolic and mathematical --- Number theory --- Foundations --- Mathematical logic
Listing 1 - 2 of 2 |
Sort by
|