История теории типов

Оглавление1 История теории типов1.1 История теории типов1.2 Развитие теории типов1.3 Рекомендации2 История теории типов — Википедия История теории типов История […]

История теории типов

  • История теории типов

    • Теория типов возникла в 19 веке и связана с работами Фреге и Рассела. 
    • Фреге предложил систему типов для формализации логики, а Рассел развил его идеи. 
    • Рассел отказался от аксиомы сводимости и ввел понятие матрицы для функций. 
    • Теория простых типов была предложена Чвистеком и Рэмси, а затем развита Геделем и другими. 
  • Развитие теории типов

    • В 1930-х годах Карри и Говард предложили соответствие Карри-Говарда, связывающее логику и теорию типов. 
    • Де Брюйн создал автомат теории типов для автоматизированной проверки доказательств. 
    • Мартин-Леф разработал интуиционистскую теорию типов, используя зависимые типы. 
    • Коканд и Юэ создали исчисление конструкций, которое стало основой для Coq и Lean. 
    • Барендрегт классифицировал теории типов, представив их в виде лямбда-куба. 
    • Хофманн и Штрайхер показали, что условия равенства могут быть смоделированы как группа. 
  • Рекомендации

    • Для более глубокого изучения теории типов рекомендуется обратиться к работам Рассела, Фреге, Витгенштейна и других авторов. 

Полный текст статьи:

История теории типов — Википедия

Оставьте комментарий

Прокрутить вверх