2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 03:56 
На меня сошло вдохновение и я формализовал свои доказательства в Coq. Интересно ли это здешней публике и в каком разделе лучше обсуждать?

 
 
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 07:52 
Аватара пользователя
Не, ну раздел подходящий :-) Здесь, например, можно поправить: не сошло, а снизошло :roll:

 
 
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 08:49 
Аватара пользователя
Тема, конечно, для "Математика (общие вопросы) ".
А вот есть ли здесь интересующиеся - ?

 
 
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 09:47 

(Оффтоп)

Дискутировать пруфчекинг.

 
 
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 10:04 
пианист в сообщении #1646343 писал(а):
Тема, конечно, для "Математика (общие вопросы) "
Солидарен.

пианист в сообщении #1646343 писал(а):
А вот есть ли здесь интересующиеся - ?
Не знаю, есть ли они сейчас, но не исключено, что:
1) они просто еще не знают, что им интересно
2) они появятся позже. На форум приходят новые участники.

george66, если с Вашей стороны это не требует слишком много труда, то, во всяком случае, стоит начать.

 
 
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 10:18 
Аватара пользователя
Не обещаю задавать умные вопросы, но я бы взглянул на пару доказательств хотя бы из любопытства.

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group