Search Results for Incompleteness theorems.

5 Results Found

00000DEFAULT

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519225.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47666-6

Format:

Availability

Online Library~1

Available:
Copies:

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Author

Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519060.1)

Electronic Access

https://doi.org/10.1007/978-3-319-20028-6

Format:

Availability

Online Library~1

Available:
Copies:

Gd̲el's way exploits into an undecidable world

Author

Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

There's something about Gödel the complete guide to the incompleteness theorem

Author

Berto, Francesco. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781444315028
ebrary http://site.ebrary.com/id/10577633

Format:

Availability

Online Library~1

Available:
Copies:

Gd̲el's theorem an incomplete guide to its use and abuse

Author

Franzň, Torkel.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}