Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point (Q1322900)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point |
scientific article; zbMATH DE number 566128
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point |
scientific article; zbMATH DE number 566128 |
Statements
Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point (English)
0 references
9 May 1994
0 references
Lawvere's fixed point theorem on self-referential morphisms in a topos is used to argue that a time evolving autonomous system is necessarily incomplete.
0 references
Goedel incompleteness
0 references
universal mapping
0 references
programmability
0 references
Lawvere's fixed point theorem
0 references
self-referential morphisms
0 references
topos
0 references
time evolving autonomous system
0 references
0.75264204
0 references
