Beweren en bewijzen/de aanpak

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/de aanpak
Waar willen we heen met deze cursus?

In het NEDERLANDS ETYMOLOGISCH WOORDENBOEK (1971/1987) door Jan de Vries staat dat in het woord "beweren" twee woorden samengevallen zijn: "waar maken" en "weren" in de zin van "verdedigen", "staande houden". Ook staat er dat "bewijzen" met "wijsheid" te maken heeft.

Kun je iets wat niet waar is waar maken? En is dat dan wijs? Als we zoiets al doen, laten we dat dan goed doen. Maar wat is goed?

literatuur

R. M. Pirsig: Zen and the Art of Motorcycle Maintenance [1]

Iemand die 'wijs' genoemd wordt, is expert op het gebied van onzekerheid.
Hij realiseert zich dat de kennis die hij heeft niet vastligt, hij accepteert dit en bewandelt ondanks deze wankele ondergrond met een open blik zijn levenspad.
systematische aanpak van glibberige problemen 
verdeel en heers, hier met name toegepast op het vraagstuk van correctheid van artefacten


precies redeneren op het hoogste niveau 
logica en bewijzen die een computer kan controleren (casus: wekkers voor doven; drieminutenlicht)


  • Theorie (Logica, bewijssysteem)
  • Taal (syntax en semantiek van formele logica)
  • Gereedschap: bewijsassistent
proeve van bekwaamheid - bekijk enkele werkstukken uit eerdere jaren
Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Beweren_en_bewijzen/de_aanpak&oldid=216902"