,

, ,
.

,

.

, , ,

(Mathematics as the Science of patterns),
.

,
.

B. Russell
 , ,
.

,
,
, ,
,

,
.

,
.

20 ,
, .

,

Lakatos (1976).

Lakatos (falsification)

.
( ) .

:
.

. , ..:

;
, ,
;
,
;

,
;

;
 ,
:

;
( )
;
 , ,
.
,
.

,
()
.

, ,
.

,
,

, , .

,
,

.

,

.

:
,

.
 Russell Whitehead, Frege,
Principia Mathematica (1910-13) (
)
, ,

Principia.
, Principia
.
 Whitehead Russell
Gdel.

Gdel




.
,
.
 , ,
1910 David Hilbert (1862-1943).

,

( )
.
Hilbert
, .
.
Frege ,
.


.

, , ,
,
.
 1908, (
) Georg Cantor.
Cantor, 1870,
.
Russell
.
,
.

.

.
 1908
L. E. J. Brouwer (1881-1966).
Brouwer
,


.

:
(1) :
()
. ()
.
(2)
, ,
.
, ,

.
(3) , ,
.

,

.

.
,
,
.

, .
,

, ,
.
 ,


.
Brouwer



.
, ,
, ,
,
. .
,
.


,
,

, .


,
, .

:

,

.

,

.
, ,
,

.
 Hao Wang :

20
. ,


.
.
,
, .
,



20
, Kurt Gdel
30 . ,

,
.
 Tymoczko (1986),

.
. , ,

.
,
.
, ,
.
.

.

.
,

,
. () , ,
()

. ,

.
, ,
.


,
, .

,
,
, ,
.

,


,
Penelope Maddy (1990).
 ,
,


,
.



.



.
 1961 Lakatos

.
(humanistic)


.
Raymond Wilder, ,
1950,
,
.

(Wilder 1950/1998:186).