Was ist ein mathematischer Beweis? Wie lassen sich Beweise
rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die
Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer
Beweise Computern ubertragen? Erst im 20. Jahrhundert ist es der
mathematischen Logik gelungen, weitreichende Antworten auf diese
Fragen zu geben: Im vorliegenden Werk werden die Ergebnisse
systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik
erster Stufe. Die Lekture setzt - ausser einer gewissen
Vertrautheit mit der mathematischen Denkweise - keine spezifischen
Kenntnisse voraus. In der vorliegenden 5. Auflage finden sich
erstmals Loesungsskizzen zu den Aufgaben.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!