Участник:Хацкер

• Разделы:
  • План
  • Новый план

Ссылки

Кратко о себе

Этот участник предпочитает обращение на «ты»

Участник из Германии

Этот участник интересуется математикой

АшЫпка Прошу всех исправлять мои орфографические и грамматические ошибки.

Шаблон:Участник против копирайтов

Этот участник является сторонником свободного ПО

План

Пока такой: написать и/или довести до ума следующие статьи:

• Альфред Тарский
• Дана Скотт
• Теория моделей
• Аксиоматизация
• Элиминация кванторов
• Топос
• Декартово-замкнутая категория
• Лямбда-исчисление
• Арифметика Пеано

Новый план

Довести до ума разделы, связанные с тьюринговскими лауреатами.