Aktualisiert: 2023-07-02
> findR *
Aktualisiert: 2023-07-02
> findR *
Aktualisiert: 2023-07-02
> findR *
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 übertragen?
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 Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus.
In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.
Aktualisiert: 2023-07-02
> findR *
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 übertragen?
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 Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus.
In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.
Aktualisiert: 2023-07-02
> findR *
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 übertragen?
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 Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus.
In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.
Aktualisiert: 2023-04-01
> findR *
Aktualisiert: 2023-03-14
> findR *
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik. Heute wissen wir, dass in der Mathematik erkenntnistheoretische Grenzen existieren, die wir nicht überwinden können. Sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie.Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch).
Aktualisiert: 2023-03-14
> findR *
Aktualisiert: 2023-04-01
> findR *
Es war ein aufregendes, intellektuelles Abenteuer zu Beginn des 20. Jahrhunderts auf einem außergewöhnlich scharfsinnigen und kreativen Niveau. Die Debatte über die unversöhnlichen Ansichten versiegte allmählich und inzwischen ist wieder relative Ruhe in die Gemeinde der Mathematiker eingekehrt. Zentrale philosophische Fragen aber, die damals die Protagonisten spalteten, sind nach wie vor unbeantwortet.
Aktualisiert: 2023-04-01
> findR *
Aktualisiert: 2022-02-23
> findR *
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 übertragen?
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 Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus.
In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.
Aktualisiert: 2018-08-02
> findR *
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 übertragen?
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 Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus.
In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.
Aktualisiert: 2023-04-04
> findR *
Aktualisiert: 2023-04-15
> findR *
Es war ein aufregendes, intellektuelles Abenteuer zu Beginn des 20. Jahrhunderts auf einem außergewöhnlich scharfsinnigen und kreativen Niveau. Die Debatte über die unversöhnlichen Ansichten versiegte allmählich und inzwischen ist wieder relative Ruhe in die Gemeinde der Mathematiker eingekehrt. Zentrale philosophische Fragen aber, die damals die Protagonisten spalteten, sind nach wie vor unbeantwortet.
Aktualisiert: 2023-04-04
> findR *
Aktualisiert: 2022-02-22
> findR *
MEHR ANZEIGEN
Bücher zum Thema Gödelsche Unvollständigkeitssätze
Sie suchen ein Buch über Gödelsche Unvollständigkeitssätze? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema Gödelsche Unvollständigkeitssätze. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema Gödelsche Unvollständigkeitssätze im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema Gödelsche Unvollständigkeitssätze einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
Gödelsche Unvollständigkeitssätze - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema Gödelsche Unvollständigkeitssätze, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter Gödelsche Unvollständigkeitssätze und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.