18. Mai 2012

Konsistent gleich lückenhaft

Zitat aus Wikipedia: “Ein Kalkül ist genau dann konsistent, wenn in ihm mindestens eine Formel nicht herleitbar ist.”

Da kribbelt es einem doch den Rücken hinunter, oder?

P.S.: In obigem Link ist ein Umlaut enthalten – ich wusste gar nicht, dass das möglich ist.

Diese Beiträge könnten Sie noch interessieren:

Ihre Meinung ist uns wichtig

*