Church's Thesis After 70 Years

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, C...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Janusz, Robert

Olszewski, Adam

Woleński, Jan

Format:

E-Book

Sprache:

Deutsch

Erschienen:

Berlin: De Gruyter ; 2006

©2006.

Rechteinformationen:

Restricted Access

Schlagwörter:

Logic, Symbolic and mathematical

PHILOSOPHY / Logic

Umfang:

Online-Ressource (551 S.)

Reproduktion:

2006

Reihe:

Ontos Mathematical Logic ; 1

Links:

Link aufrufen
Volltext
Volltext
Link aufrufen
Cover
Cover
Cover

ISBN:

978-3-11-032546-1

DOI / URN:

10.1515/9783110325461

Katalog-ID:

1656026945

Nicht das Richtige dabei?

Schreiben Sie uns!