Продолжаю труды

[deniok]

по расширению руВикипедии. По расширению - потому что то, что там уже есть, в половине случаев проще переписать заново, чем править. Держите, вобщем, улучшайте, исправляйте, etc:

Соответствие Карри - Говарда

Comments

[nivanych.livejournal.com]

Я уже как-то не воспринимаю это ;-)
Вроде как, чОтко и правильно сформулированный язык, это и должна быть некоторая логика...
И специально обозначать это нужно только затем, чтобы стимулировать чОткую проработку языков...

[deni-ok.livejournal.com]

Так человек, углублённый в квантовую механику, отреагировал бы на статью корпускулярно-волновой дуализм. Словами, что настоящая частица - это и есть волна ;-)

[nivanych.livejournal.com]

;-) ;-)

[deni-ok.livejournal.com]

Кстати, у меня есть идея, готовая подорвать все устои современного образования. Выкинуть все учебники по мат.логике и учить ей прямо на Агдочке (ну или Coq'е для франкофонов).

[nivanych.livejournal.com]

Ну, все выкинуть не получится, но думаю, что достаточно много получится удобно и красиво описать.

[miserakl.livejournal.com]

Выкинуть легко, а какой учебник посоветуете по матлогике, опирающийся на Агду?

[deni-ok.livejournal.com]

Learn you an Agda and Achieve Enlightenment.
Только его ещё никто не написал.

[miserakl.livejournal.com]

Но курсы по нему уже читают? Это хорошо — прогрессивно и постмодернично.

[alogic.livejournal.com]

Прекрасная идея, я только за. Сколько можно на бумажке работать с самой формализованной областью математики?