> -- Илья Ермаков писал(а):
> Да и как-то сравнение пейтонов с хаскелями очень странное. При чём тут хаскель и утиная типизация? Утиная типизация и какая-либо доказательность (доказательность - это обязательно какое-нибудь статическое средство, а утиная типизация - принципиальный отказ от статики)?Сравнения нету, потому что наверняка есть нужда в удобстве построения системы непротиворечивых утверждений, отсюда и любовь к "читабельности", краткой записи, динамической типизации и прочим ухищрениям. Мне кажется, что теоремы Гёделя имеют гораздо более глубокий (широкий) смысл, чем кажется многим математикам. И так кажется не только мне:http://awas1952.livejournal.com/824361.html