OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 12 Декабрь, 2019 00:59

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
СообщениеДобавлено: Воскресенье, 24 Июнь, 2012 07:59 
Аватара пользователя

Зарегистрирован: Понедельник, 09 Апрель, 2012 16:22
Сообщения: 88
Откуда: Иркутск
Публикую эту беседу как небольшую затравку для интересного вопроса.

Беседа с канала #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 , там один из смежных вопросов. Пока сию ветку не читал.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 24 Июнь, 2012 08:27 
Аватара пользователя

Зарегистрирован: Понедельник, 09 Апрель, 2012 16:22
Сообщения: 88
Откуда: Иркутск
Вот пара сайтов, посвящённых компьютерной верификации доказательств математических теорем:
http://russellmath.org/
http://www.metamath.org/


Последний раз редактировалось egphilippov Воскресенье, 24 Июнь, 2012 08:28, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 25 Июнь, 2012 13:27 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4539
Откуда: Россия, Орёл
1) Тема перенесена из viewforum.php?f=82 по решению администрации проекта "Информатика-21".
2) Хвост темы удалён в архив по просьбе автора темы.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 0


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB