|
| 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) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
|
|
| |
|
|
| updated 06.03.15 13:54 06.03.15 12:46 |
Чужестранка Тэа | Мой новый друг Василий..)) |
en |
Он настолько чист душой, что практически прозрачен..)))
|
|
| |
|
|
| 24.02.15 15:44 |
Emet | |
ru |
"Говоришь, что все наместники - ворюги?
Но ворюга мне милей, чем кровопийца."(c) И. Бродский
|
| Comments: 1 | |
| |
|
|
| updated 08.08.16 12:39 19.02.15 15:46 |
Чужестранка Тэа | Маленькой радости псто |
en |
А, может, кто-нибудь хочет получить открытку?
Настоящую, бумажную. Мм?=)
Вышлю всем, кто напишет свой адрес.
Можно сюда, в скроллы, можно телеграфом.
=)
_______________
Update: 10-03-5 23:13
Если открытка прилетела - отпишитесь, пожалуйста;)
Mood: хорошее 
|
| Comments: 20 | |
| |
|
|
| updated 19.02.15 16:47 17.02.15 14:00 |
Чужестранка Тэа | Давно сюда не заходила. |
en |
Даже страшно представить, в этом году Чу будет 9 лет.
Сколько воды утекло.. Столько всего поменялось и в то же время осталось прежним.
Сколько друзей перестало играть, а всё брожу по закоулкам БК, пытаясь воскресить невоскрешаемое.
Люди говорят "Проходит время",
Время говорит "Проходят люди".
|
| Comments: 13 | |
| |
|
Total posts: 4462 Pages: 447
1 2 3 4 5 6 7 8 9 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 100.. 110.. 120.. 130.. 140.. 150.. 160.. 170.. 180.. 190.. 200.. 210.. 220.. 230.. 240.. 250.. 260.. 270.. 280.. 290.. 300.. 310.. 320.. 330.. 340.. 350.. 360.. 370.. 380.. 390.. 400.. 410.. 420.. 430.. 440..
|
|
| 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 | | | |
|
Когда съезжала с общаги, обнаружились такие запасы;)
Вы отдали "Жетон «Командир армии Общего Врага»" x 10
