Ebooks de Reinhard Kahle en PDF et EPUB

7 Livre(s)
Télécharger le livre : Limits of AI - theoretical, practical, ethical
Ajouter à ma liste d'envies
Limits of AI - theoretical, practical, ethical
Reinhard Kahle , Klaus Mainzer
Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has...

Editeur : Springer
Parution : 2024-03-31
Collection : Technik im Fokus
PDF, ePub

29,53 €
Télécharger le livre : Axiomatic Thinking I
Ajouter à ma liste d'envies
Axiomatic Thinking I
Fernando Ferreira , Reinhard Kahle , Giovanni Sommaruga
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...

Editeur : Springer
Parution : 2022-10-13

PDF, ePub

94,94 €
Télécharger le livre : Axiomatic Thinking II
Ajouter à ma liste d'envies
Axiomatic Thinking II
Fernando Ferreira , Reinhard Kahle , Giovanni Sommaruga
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and...

Editeur : Springer
Parution : 2022-09-17

PDF, ePub

105,49 €
Télécharger le livre : Grenzen der KI – theoretisch, praktisch, ethisch
Ajouter à ma liste d'envies
Grenzen der KI – theoretisch, praktisch, ethisch
Reinhard Kahle , Klaus Mainzer
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch in der Industrie große Erwartungen verbunden sind. In diesem Buch werden sowohl die Perspektiven als auch die Grenzen dieser Technologie diskutiert. Das betrifft die...

Editeur : Springer
Parution : 2022-06-16
Collection : Technik im Fokus
PDF, ePub

19,71 €
Télécharger le livre : The Legacy of Kurt Schütte
Ajouter à ma liste d'envies
The Legacy of Kurt Schütte
Reinhard Kahle , Michael Rathjen
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to...

Editeur : Springer
Parution : 2020-08-10

PDF

116,04 €
Télécharger le livre : Advances in Proof Theory
Ajouter à ma liste d'envies
Advances in Proof Theory
Reinhard Kahle , Thomas Strahm , Thomas Studer
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof...

Editeur : Birkhäuser
Parution : 2016-05-04
Collection : Progress in Computer Science and Applied Logic
ePub

105,49 €
Télécharger le livre : Gentzen's Centenary
Ajouter à ma liste d'envies
Gentzen's Centenary
Reinhard Kahle , Michael Rathjen
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from...

Editeur : Springer
Parution : 2015-11-02

PDF, ePub

158,24 €