(no subject)

Нашел тут, пока реферат готовил.

Аппроксиматор
Программа для точной аппроксимации любых конечных числовых последовательностей

С помощью этой программы:
1. Опровергнута теорема Геделя о неполноте формальной арифметики
( Read more... )