MPG.eBooks - Search Results - "turing"

Cover Image

1

Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... of the Sperner Lemma -- The Church-Turing Thesis: Consensus and Opposition -- Gödel and the Origins of Computer...”

Cover Image

2

Revolutions and Revelations in Computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings

Published 2022

Springer International Publishing

“... with Turing's and Gödel's discoveries of the uncomputable and the unprovable and continuing to the present day...”