so_damn_insane (![[info]](http://klab.lv/img/userinfo.gif){kind=small} so_damn_insane) rakstīja,@ 2007-03-08 19:30:00 |
 |
 |
 |
|
|
|
|
|
|
 |
|
 |
loģika
1) Uz spēcīgām aksiomām var būvēt spēcīgas teorēmas.
2) Spēcīgas teorēmas pēc tam ir grūti apgāzt. Pat tad, kad liekas, ka tas ir izdevies, tās atrod sev pierādījumu negaidītā veidā.
Pieredze rāda - uzdevumus vislabāk risināt reālā laikā.
1) Uz spēcīgām aksiomām var būvēt spēcīgas teorēmas.
2) Spēcīgas teorēmas pēc tam ir grūti apgāzt. Pat tad, kad liekas, ka tas ir izdevies, tās atrod sev pierādījumu negaidītā veidā.
Pieredze rāda - uzdevumus vislabāk risināt reālā laikā.
