LIBROS DEL AUTOR: heinz dieter ebbinghaus

5 resultados para LIBROS DEL AUTOR: heinz dieter ebbinghaus

heinz dieter ebbinghaus Eliminar filtro Quitar filtros
  • Mathematical Logic
    Heinz-Dieter Ebbinghaus / Jörg Flum / Wolfgang Thomas
    This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé’s characterization of elementary equivalence, Lindströ...
    Disponible

    66,16 €

  • Einführung in die Mengenlehre
    Heinz-Dieter Ebbinghaus
    Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt dere...
    Disponible

    35,62 €

  • Mathematical Logic
    Heinz-Dieter Ebbinghaus / Jörg Flum / Wolfgang Thomas
    This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations...
    Disponible

    47,73 €

  • Einführung in die mathematische Logik
    Heinz-Dieter Ebbinghaus / Jörg Flum / Wolfgang Thomas
    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 systema...
    Disponible

    47,43 €

  • Ernst Zermelo
    Heinz-Dieter Ebbinghaus
    Berlin 1871-1897.- Göttingen 1897-1910.- Zurich 1910-1921.- Freiburg 1921-1953.- A Final Word.- Zermelo’s Curriculum Vitae.- Appendix Selected Original Versions. ...
    Disponible

    90,49 €