(no subject)

Date: 2013-10-31 05:03 am (UTC)
Вот есть в Шпигеле на английском

http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html

То бишь, формализовали как-то там "доказательство" Геделя. (http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof)

То бишь кричащий заголовок ни о чем.
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

Profile

donmigel_62: (Default)
donmigel_62

March 2014

S M T W T F S
       1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 1819202122
23242526272829
3031     

Style Credit

Expand Cut Tags

No cut tags