Beweren en bewijzen/het verhaal/3. Model en realiteit

Uit Werkplaats
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map

Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/het verhaal/3. Model en realiteit
literatuur

Binnen de wereld van de wiskunde kunnen we prachtige modellen bouwen en erover redeneren. We kunnen computers gebruiken om ons te helpen bij het redeneren. We kunnen computers zelfs beslissingen laten nemen en uitvoeren. Maar waar slaat dit op?

Hoe kunnen we zeker zijn dat het redeneren over modellen iets zegt over de realiteit? En hoe kunnen we zeker zijn dat het redeneren over (modellen van) het redeneren iets zegt over het redeneren?

Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Beweren_en_bewijzen/het_verhaal/3._Model_en_realiteit&oldid=41355"