Комбинаторы — это просто!: различия между версиями

Комбинаторная логика (от слова «комбинатор», а не «[[w:Комбинаторика|комбинаторика]]») — это направление в [[w:Математическая логика|математической логике]], разработанное в первой половине XX века логиками [[w:ШёнфинкельШейнфинкель, МозесМоисей Исаевич|МозесомМоисеем ШёнфинкелемШейнфинкелем]] и [[w:Карри, Хаскелл|Хаскеллом Карри]] в качестве науки о вычислительных процессах. Хотя первоначально этот вид логики претендовал только на то, чтобы удалить из [[w:Высказывание (логика)|логических высказываний]] переменные, через некоторое время в [[w:Информатика|информатике]] были получены прикладные результаты, показавшие, что комбинаторную логику можно использовать для проведения вычислений[http://furnituratut.ru/].