LiveInternet
LiveInternet
x
(+ )
kraftmann
kraftmann
kraftmann
-
-
(1)
-
e-mail
-
-
: 30.07.2007
:
:
: 13284
:
,
, 18 2009 . 20:52
+
1931 ø : " , ". , ) , , . ) . , , . , . .
, , , " ". . . , , , ... . , . " ", , , .. . " ", .. , .
. : , ( ). , , .
, " ". , , . , , , ?
. , , , . 1936 . ( ) , .
" " (.. ) .
:
1
0
1
0
1
0
0
<a href="https://www.liveinternet.ru/users/kraftman/post108621951/">Математика, философия и атеизм</a><br/>Доказанная в 1931 году Теорема Гёделя о неполноте: "Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна". Иначе говоря, а) в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть. б) непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда вста... <a href="https://www.liveinternet.ru/users/kraftman/post108621951/">Читать далее...</a>
_
, 18 2009 . 22:01 (
)
"" . . - !
.
. - .
, !
kraftmann
, 18 2009 . 23:47 (
)
, !
kraftmann
, 23 2009 . 00:39 (
)
,
« .
—
—
. »
:
[1] [
]
:
:
: ( )
:
URL
, ,
LiveInternet
PDA