Ordinal Computability: An Introduction to Infinitary Machines 9783110496154, 9783110495621

Ordinal Computability: An Introduction to Infinitary Machines 9783110496154, 9783110495621

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines

158 31 4MB Read more

Ordinal computability. An introduction to infinitary machines 9783110495621, 9783110496154

357 130 2MB Read more

Ordinal Computability: An Introduction to Infinitary Machines 3110496151, 9783110496154

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines

360 107 4MB Read more

Ordinal Computability: An Introduction to Infinitary Machines [1 ed.] 3110495627, 9783110495621

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines

546 31 4MB Read more

Ordinal Analysis with an Introduction to Proof Theory [1st ed.] 9789811564581, 9789811564598

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal anal

572 113 4MB Read more

Hilbert’s Tenth Problem - An Introduction to Logic, Number Theory, and Computability [1 ed.] 2018061472, 9781470443993

Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900 at the International Congress of Ma

711 184 4MB Read more

New Infinitary Mathematics 8024646633, 9788024646633

A rethinking of Cantor and infinitary mathematics by the creator of Vopěnka's principle.   The dominant current of

157 71 2MB Read more

An Introduction to Relativity

1,601 229 6MB Read more

An Introduction to Stoicism

491 67 7MB Read more

An Introduction to APIs

With so many companies investing in this new area of business, possessing a working understanding of APIs becomes increa

3,247 402 3MB Read more