|
23.03.15 15:03 |
Emet   | |
ru |
|
|
| |
|
|
| updated 22.03.15 00:15 21.03.15 23:13 |
Emet | |
ru |
|
|
| |
|
|
| 06.03.15 19:56 |
Emet | Теорема Гёделя |
ru |
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя[~ 1] — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
|
|
| |
|
|
| 24.02.15 15:44 |
Emet | |
ru |
"Говоришь, что все наместники - ворюги?
Но ворюга мне милей, чем кровопийца."(c) И. Бродский
|
| Comments: 1 | |
| |
|
|
| 16.02.15 22:12 |
Emet | |
ru |
Когда разочаровываешься в человеке, становится все равно, где он, с кем он и что он о тебе думает или не думает.
© Неизвестный автор, 809 цитат
|
|
| |
|
|
| 22.01.15 20:28 |
соняя | ))) |
ru |
Благодаря рекламе, мы узнали, что:
1. Каждая девушка в ярком платье носит с собой в сумочке двухлитровый Vаnish.
2. Люди, живущие в огромных, хорошо обставленных квартирах, питаются лапшой "Роллтон".
3. Пора создавать купюру номиналом 99 рублей.
4. У хорошей хозяйки всегда грязный кафель в ванной, ржавые краны, кухонные плиты и унитазы.
5. Бобры, обкурившиеся альпийской травой, катаются на медведях.
6. В морозильнике может поселиться огромный говорящий пельмень.
7. Наша главная проблема — перхоть.
8. Если два маленьких ребенка намеренно пачкают ненавистную белую рубашку, то придет не отец с пачкой дюлей, а тетя с порошком.
9. Мозг периодически ходит к Желудку в гости.
10. Люди могут разговаривать с маргарином.
11. Что у всех мужиков проблемы с их мужским здоровьем.
12. Иммунитет — это комок шерсти бегающий рядом.
13. В каждом супермаркете дежурит стоматолог.
14. Под ободком унитаза живут монстры и устраивают демонстрации.
15. Встретившись в кафе, женщины тут же начинают обсуждать месячные и климакс.
16. У печени есть ноги.
17. Уборку можно не делать, а постучать двумя палочками, и появится мускулистый мистер, который все приведет в порядок.
18. Отборные телки всегда неожиданно западают на странных чуваков с вонючим дезодорантом или такой же жвачкой.
19. Люди, подсевшие на Nuts превращаются в мутантов-недоумков и ловят белку.
20. А еще за нас почему-то всегда думает какой-то Тефаль
Mood: разговорчивое 
|
|
| |
|
|
| 16.01.15 12:04 |
Emet | |
ru |
|
|
| |
|
Total posts: 904 Pages: 91
1 2 3 4 5 6 7 8 9 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90..
|
|
| Mo |
Tu |
We |
Th |
Fr |
Sa |
Su |
| | | 1 | 2 | 3 | 4 | | 5 | 6 | 7 | 8 | 9 | 10 | 11 | | 12 | 13 | 14 | 15 | 16 | 17 | 18 | | 19 | 20 | 21 | 22 | 23 | 24 | 25 | | 26 | 27 | 28 | 29 | 30 | 31 | |
|
