Верификация доказательсва Великой теоремы Ферма международной системой Coq

Автор темы greg71 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий26.03.2008 03:07
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеЗапущен новый раздел «Задачки и головоломки»29.08.2019 00:42
Форумы Список тем Новая тема
20.03.2026 18:00
sergeyklykov
...
Объявится. Куда он денется...
Цитата
sergeyklykov
Совет Грегу , который 71ый , быть активнее, что ли?

Цитата
sergeyklykov
Григорий , я далеко. И я не принимаю участия в разных тупых, типа, разборках. Приветствуются любые толковые дискуссии.
Ответить Цитировать
20.03.2026 18:20
greg71
мусорный фрум
прошу простить но у меня больше нет и не будет никаких комментариев,
ибо все наши комментарии на этом форуме - простое сотрясение воздуха и ничего больше
всем всего самого наилучшего, а я исчез отсюда,
ибо делом надо заниматься, господа, делом, а не языком молоть
прошу простить ежли что не то сказал
всего хорошего!
Ответить Цитировать
24.03.2026 15:26
sergeyklykov
...
Грег 71, насчёт "мусорного" приходится согласиться. Дык, если б писали не мусор , хоть, и на фоне "мусора",и то было бы неплохо.
Ответить Цитировать
29.03.2026 15:29
sergeyklykov
..
Грег 71, давайте, расскажите нам что нового?

Цитата
sergeyklykov
Грег 71, насчёт "мусорного" приходится согласиться. Дык, если б писали не мусор , хоть, и на фоне "мусора",и то было бы неплохо.
Ответить Цитировать
26.07.2026 09:11
sergeyklykov
...
Грег 71ый, как делы? Есть движуха с доказательством?
Ответить Цитировать
27.07.2026 00:20
greg71
... new
дела идут, контора пишет )))



Редактировалось 1 раз(а). Последний 27.07.2026 00:56.
Ответить Цитировать
Страницы: 12345
« Следующая тема   Предыдущая тема »
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти