Benedikt Löwe is Universitair Docent in Logic in the Institute for Logic, Language and Computation at the Universiteit van Amsterdam and Professor of Mathematics at the Universität Hamburg. He is the vice-president of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) and a Managing Editor of the journal Mathematical Logic Quarterly.
2 résultat(s)
Télécharger le livre : Cultures of Mathematics and Logic
Shier Ju , Benedikt Löwe , Thomas Müller , Yun Xie
Cultures of Mathematics and Logic
This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and...
Editeur : Birkhäuser
Parution : 2016-08-10
Collection : Trends in the History of Science
Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : New Computational Paradigms
S.B. Cooper , Benedikt Löwe , Andrea Sorbi
New Computational Paradigms
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most...
Editeur : Springer
Parution : 2007-11-28

Format(s) : PDF
147,69 €
Téléchargement immédiat
Dès validation de votre commande