|
|
#2
20.12.2011, 01:52
|
|||
|
|||
А среди формальных аксиоматических систем только к достаточно сложным системам.
А ещё Гёдель дал строгое математематическое доказательство существования бога.  Не шутка.http://en.wikipedia.org/wiki/G%C3%B6...ological_proof http://www.robotics.stanford.edu/~ep...fitting-gg.pdf http://io9.com/5805775/proof-of-the-...-down-on-paper 
|
Древовидный вид