2

2.1.
2.2.
2.3.

12

2.1

:



.

2.1.1
, , , . .
.

-.
,
.
.
2000 ,
1/1/2000.

.

;



.

, .
,
, .
.
.

( , , ..) (.. ), (.. , ..).

2.1.
(Rubik)

13

, ( ,
Karl Popper, 1994)

. , ,
( ).

, ,
, .
,
, , . , ( ), .

2.1.2

.

.

2.2.

(
), ...

, .


.
, .

, ,
.

(
)
6x + 15y = 4. 1970

.

14

(, , ), , . , (Goldbach, ) .

2.1.3
20 , (David Hilbert) ,

.

. 1931,
(Kurt Gdel)
,
,
. , , .
, o (Alan Turing) Turing


Turing .

2.1

2.3. David Hilbert

Kurt Gdel

2.4. Alan Turing

Pierre de Fermat

, .
, .
,

.
:

, .

(Pierre de Fermat):
a, b,
c an+bn=cn

n>2
1637

.

1995.

, . ,
,
.

15

.

,
.

, . ,
.

,
.
,
.


,
.

16

2.1.4 ()

.
,

.


(). - . , .
, 2.1.
2.1. :
.

1.
1.1.
1.2.
2.
2.1.
2.1.1. ;
2.1.2. ;
2.2.
2.3.
3. .

2.5.


. .

.

.
, .
, , ,
,
. , , .
2.2. x + = 0 x,
.

2 : x ( 0) x ( = 0).
1: 0,

x = - .

2: = 0 : ( 0) ( = 0).
2.1. 0, .
2.2. = 0, .
2.3. ( 2.6)
. .

2.1

,


,
.

.

.

:
,
x .
: .
x . . :


.
:
,
, .
: .

2.6.

2.3
.

17

2.7.
.

1. ;
2. ,
19:00;

1. , .

. ,
, 20 .
2. , . ,
15 , 14
12 .

. .
(, , -, , ).
1976 4
.

1200 .

, ,
, ,
,
, ,
, ,
,

18

- -
1. .
2. .
,
.
3. x2 + x + = 0 x , .
4. ,
;
5. :
. .
. .
. .
. .
. .