Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point (Q1322900)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point |
scientific article |
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
