The Foundations of Computability Theory
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662624203, 9783662624210
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Turing Machine

2020 ◽  
pp. 111-153
Author(s):  
Borut Robič
Keyword(s):  
Turing Machine

Formalism

2020 ◽  
pp. 31-53
Author(s):  
Borut Robič

Further Reading

2020 ◽  
pp. 359-361
Author(s):  
Borut Robič

Computability (Church-Turing) Thesis Revisited

2020 ◽  
pp. 315-358
Author(s):  
Borut Robič

The First Basic Results

2020 ◽  
pp. 155-173
Author(s):  
Borut Robič

The Quest for a Formalization

2020 ◽  
pp. 77-110
Author(s):  
Borut Robič

Hilbert’s Attempt at Recovery

2020 ◽  
pp. 55-73
Author(s):  
Borut Robič

The Foundational Crisis of Mathematics

2020 ◽  
pp. 9-30
Author(s):  
Borut Robič

The Turing Hierarchy of Unsolvability

2020 ◽  
pp. 263-271
Author(s):  
Borut Robič

Degrees of Unsolvability

2020 ◽  
pp. 251-261
Author(s):  
Borut Robič
Keyword(s):  
Degrees Of Unsolvability
Load More ...
Sign in / Sign up

Export Citation Format

Share Document