Re: Reply to your post...a_konstNovember 17 2005, 17:38:29 UTC
хотя, пожалуй, попробую. точнее, попробую ответить на вопрос (как если б он был задан - я подозреваю, именно он подразумевался) "что я считаю тем самым инструментом математической верификации".
Это "аксиоматический метод" - изложение теории в виде формализованной системы аксиом, определений и доказательств. Как у Вейерштрасса, Гильберта, Фихтенгольца, и многих, многих...
Reply
могу только посоветовать почитать Бурбаки.
Reply
Reply
Reply
Reply
Reply
Reply
точнее, попробую ответить на вопрос (как если б он был задан - я подозреваю, именно он подразумевался) "что я считаю тем самым инструментом математической верификации".
Это "аксиоматический метод" - изложение теории в виде формализованной системы аксиом, определений и доказательств. Как у Вейерштрасса, Гильберта, Фихтенгольца, и многих, многих...
Reply
Leave a comment