:

2008

:
2 . .. 3403

KURT GODEL

1931

1: - .
. 4
i)Peano .
ii) .
iii) .
. 5
iv) .
v) .
vi) .
. 6
vii) Godel.
2: Godel.
. 7
i) Godel.
ii) .
. 8
iii)- .
. 9
iv) .
3: .
. 11
i) : ) Carnap.
) Hilbert .
) Zermelo.
. 12
) Russell .
) Von Neuman.
ii) .
. 13
iii) Godel-Einstein . . 14
iv) .
. 17
4: Godel.
. 18
i) .
ii) Godel .
. 20
iii).
. 21
5: ...
. 24
i) .
ii)--.
. 26
:
i () .

PEANO

, PEANO. ( 0 )

PEANO (

( 0 ) . (P1)
n , n
. (P2)
( 2 ) ,
. (P3)
( 0 ) . (P4)
:
) 0 .
) +1 . (P5)

.

.

180
180 .
() ,
, .

'''' .
.
.

P
PEANO
.

1900 ( 2 )
, HILBERT
,

. 23
( )
.
2 .
HILBERT.
To 2
.

1
Godel
.
(
)
.
.
2 HILBERT.

GODEL (

GODEL

Godel .
. ,

.
,
Godel.
:
i
c( u i )= 3 ( u i i- )
c( )=5
c( )=7
c( )=11
c( ( )=13
c( ) )=15
c( [ )=17
c( ] )=19
c( )=23
c( T )=25
c( ^ )=29
c( A )=31

Godel 3 .. C( ] )=27
27
3
] 3 27= 3 .

8



Godel .
,
.
A(x) (x) T(x,y) y x
: x[A(x) yK(y)^T(x,y)]
11

3 17

31

19

29

19

: = 2 3 5 7 11 13 17 23 29 31 35
.
.


Godel
.
'''' . ,
Godel,
.
( )
147
147
10
. > 10
148
!!!

(1)
P P
.

(x) P
('')

 .
'' Godel .
.

CANTOR. ( 0 )

: -
-
(x) :
(n) n x x(x).

- .

:
- .

:
) P .

) P -
.
:
) P P
) P - P

T
T

10

PF P
P ( (1) ).
PF(x,y) PF P.

x PF(x,y)
P|- xPF(x,[]) (*)

) P P|-. Godel,
p. P|-PF(p,[]). (*) .
) P - P|-. (*) :
P

PF(,[]) .

P P
, ,
Godel P.
, .

.

.

11

...

Godel
o.

HILBERT .

''''

'''' .

CARNAP ( )
0

CARNAP (
)
.
CARNAP
Godel.

HILBERT (

Godel


Godel.

12
. ,

Godel.
HILBERT Godel
.

ZERMELO (

ZERMELO Godel . ,
Godel ,
. .
ZERMELO . Godel
.
CARNAP ZERMELO
Godel.

RUSSELL

RUSSELL
:
2+2 4 4,001;
Godel : o RUSSELL
,
.

VON NEUMAN

VON NEUMAN

'' ''. Godel
...
...

13

-ANDRE WEIL

-SIMONE WEIL-

Godel
' .

-EMIL POST

.
- TIME-

14

EINSTEIN

Godel
EINSTEIN .

-FREEMAN-

(O Kurt Godel Albert Einstein.)

15

(Kurt Godel Albert Einstein .) (

4 )

16

GODEL
Godel .
Einstein
1949
''''.
''
'' Godel. ( 5 )

( 70 Einstein.)

17

-

Godel,
.
''''
Godel:
Goldbach, .
''''
Godel : , ,
.
,
.
( 3 ),
Godel .

( --.)

18

4

.

8
.

. :

.
.
Walt Disney,
.

''''
Wittgenstein.

, .
.

6 Adele Porkert

.

19

( Adele, Godel.)

20

GODEL

Godel .
.
Frege, Carnap, Russell, Leibniz, Kant
.
Godel :
,
...
.

90%
.

-KURT GODEL-

21

()
(), 1,70m ().
.
.

,

( ).

. ( )
'' '' .

11 1978 32 35 .

......

22
( '''' ,
.)

( 2 .)

23

(
)
;
-FILIP FURTWANGLER-

(......)

24

1)
'''' ''''
( ,
'''').

( )
( 2 ) ; (
;;)
''''
;
'''' ( 2 )

( '''' 50.000 )
GODEL ( 2 ) ,
( )
''''...
2)
Godel
.
.
- - .

.
. ...
(
)
.
Perelman 500
Poincare. ...

25


. (
.)
Godel
.....

..

, Einstein :
!!!

,
.
, ,

-HARDY-

26

0 : ,

( 2007-2008).
http://web-server.math.uoc.gr:1080//Members/asirokof .
Carnap: (. . 3265).
Cantor: (. . 3318).
Peano: (. . 3153).
Hilbert: (. . 2851).
Zermelo: (. . 1633)
1 Peano

.
(. . 3153).
2 : Godel

. . . '' ''.
http://www.math.ucla.edu/~ynm/
3 : 17

http://www.naftemporiki.gr/t+z/story.asp?id=1266304
http://news.kathimerini.gr/4dcgi/_w_articles_civ_2_11/02/2007_215232
best seller ''
Goldbach.''

http://www.apostolosdoxiadis.com/page/
4 : .

'''' .
'''' .
''''
.


http://www.ias.edu/

27

5 : Godel

'' '', Palle Yourgrau .

'' '' . . .

'' '', Palle Yourgrau .

''Thinking about mathematics'', S. Shapiro ( .

. , '' '')

http://el.wikipedia.org/wiki/%CE%9A%CF%8D%CF%81%CE%B9%CE%
B1_%CE%A3%CE%B5%CE%BB%CE%AF%CE%B4%CE%B1
http://www.physics4u.gr/articles/2008/Goedel.html
http://charalambos-kappa.blogspot.com/2007/03/blog-post.html
http://www.travlos.gr/Logeion/enasKosmos_dixosXrono.htm
http://www.sciencenews.gr/index.php?option=com_content&task=view&id
=158&Itemid=43
http://www.wikipedia.gr/%CE%BC/%CE%B1/%CE%B8/%CE%9C%CE
%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%B
A%CE%AE_%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%A
E.html
http://paramethorios.blogspot.com/2007/11/blog-post_08.html
http://tovima.dolnet.gr/print.php?e=B&f=14926&m=S04&aa=1
http://mouroulis.freehost.gr/thewrima%20mi%20plirotitas.htm
http://www.methexi.gr/thewrima%20mi%20plirotitas.htm
http://www.oodegr.com/oode/epistimi/goedel1.htm
http://mkaragiannis.blogspot.com/2007/08/blog-post_27.html

28

http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems
http://www.math.hawaii.edu/~dale/godel/godel.html
http://www.myrkul.org/recent/godel.htm

http://www.amazon.com/Incompleteness-Proof-Paradox-GodelDiscoveries/dp/0393051692
http://plato.stanford.edu/entries/goedel/
http://cscs.umich.edu/~crshalizi/notebooks/godels-theorem.html
http://www.edge.org/3rd_culture/goldstein05/goldstein05_index.html
http://en.wikipedia.org/wiki/G%C3%B6del's_completeness_theorem
http://www.usna.edu/Users/math/meh/godel.html

.



.
Godel
(
)
.
.
( '' '' )
1 .
.
( )
( )

'''' .

29

,
'''' 2006.....

..
''''
.

30