OberonCore
https://forum.oberoncore.ru/

О комп. доказательствах матем. теорем и смежных вопросах
https://forum.oberoncore.ru/viewtopic.php?f=28&t=4000
Страница 1 из 1

Автор:  egphilippov [ Воскресенье, 24 Июнь, 2012 07:59 ]
Заголовок сообщения:  О комп. доказательствах матем. теорем и смежных вопросах

Публикую эту беседу как небольшую затравку для интересного вопроса.

Беседа с канала #forth:

<egp_> чем бы развлечься
<egp_> хоть гну софт фиксай со скуки
<икс> завязать гнутый софт в морской узел и все зафиксится...
<egp_> любопытно
<egp_> ну про морской узел я много думаю
<egp_> даже математику думаю применять
<egp_> например на форуме оберонкоре есть ветка про написание софта "под доказательство"
<egp_> я эту ветку пока не смотрел[1]
<egp_> больше общаюсь с одним математиком который кандидатскую делал на компутерной верификации док-в матем. теорем
<egp_> это делается, причём верификатор весьма шустр
<egp_> я даже думал универ закончить чтобы этим вопросом заниматься
<egp_> а то я ушёл в конце 3 курса с ММФ НГУ
<egp_> но всё же считаю себя больше математиком, чем кем-либо
<egp_> ну и программистом тоже, но программизм я не ценю, так воспитан
<egp_> кстати интересно бы прояснить вопрос о том какова верхняя оценка скорости верификатора и от чего скорость верификации зависит.
<egp_> в принципе это один из передних краёв науки, этим немного людей занимаются

[1] уже посмотрел.

[2] Есть ещё ветка viewtopic.php?f=62&t=3960&hilit=%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%BE , там один из смежных вопросов. Пока сию ветку не читал.

Автор:  egphilippov [ Воскресенье, 24 Июнь, 2012 08:27 ]
Заголовок сообщения:  Re: О комп. доказательствах матем. теорем и смежных вопросах

Вот пара сайтов, посвящённых компьютерной верификации доказательств математических теорем:
http://russellmath.org/
http://www.metamath.org/

Автор:  Евгений Темиргалеев [ Понедельник, 25 Июнь, 2012 13:27 ]
Заголовок сообщения:  Re: О комп. доказательствах матем. теорем и смежных вопросах

1) Тема перенесена из viewforum.php?f=82 по решению администрации проекта "Информатика-21".
2) Хвост темы удалён в архив по просьбе автора темы.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/