Springen naar inhoud

Bewijzen dat er geen afleiding bestaat


  • Log in om te kunnen reageren

#1

Heidegger

    Heidegger


  • >25 berichten
  • 77 berichten
  • Ervaren gebruiker

Geplaatst op 26 maart 2010 - 13:19

Een algemene vraag over propositielogica.


Hoe bewijs je in het algemeen dat er geen afleiding van een formule uit andere gegeven formules bestaat?


En hoe bewijs je dat er geen afleiding bestaat uit de gegeven formules die een bepaalde stap vermijdt?

Een afleiding vinden, lukt me vaak wel met wat gepruts, maar hoe bewijs je nu formeel dat zo'n afleiding ofwel niet bestaat ofwel een bepaalde stap moet bevatten?

Voorbeelden zijn welkom!

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

Heidegger

    Heidegger


  • >25 berichten
  • 77 berichten
  • Ervaren gebruiker

Geplaatst op 30 maart 2010 - 14:42

Niemand?? :eusa_whistle: Of staat het in het verkeerde subforum?

#3

*_gast_Bartjes_*

  • Gast

Geplaatst op 30 maart 2010 - 16:46

Niemand?? :eusa_whistle: Of staat het in het verkeerde subforum?


Zie:

http://en.wikipedia....al_completeness

http://en.wikipedia....pleteness_proof

In die richting moet je het zoeken. Ik heb helaas geen eenvoudiger uitleg gevonden. Voor meer algemene info zie hier:

http://en.wikipedia....ki/Proof_theory

Dit zijn geavanceerde onderwerpen, maar de mathematische logica doet inderdaad uitspraken over het soort vragen dat je hier opwerpt.





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures