Информация о книге

9781848902022

Главная  » Тематика определяется » Foundations of Combinatory Logic. (Grundlagen der kombinatorischen Logik)

Fairouz K., Haskell C., Jonathan S., Foundations of Combinatory Logic. (Grundlagen der kombinatorischen Logik)

, 176 стр., 9781848902022


Описание книги

Curry's PhD dissertation Introduction to Combinatory Logic, represents a first major work on a new subject. Curry's interest in the subject started when he noticed the complicated form of substitution in Principia Mathematica and set about trying to find a simpler form of this rule. This led him by 1926 to some of the combinators. In 1928 Curry went to G\\"ottingen and completed his dissertation in 1929 under the direction of David Hilbert. This book is a translation of the dissertation. Curry's dissertation was the first publication to give a complete formal development of combinatory logic as a formal system in which the terms are built up from variables and a number of constants (combinators including B, C and K) by means of application. The proof of the consistency of the system faced the major difficulty that the only reduction relation Curry had was what we now call weak reduction. This made it impossible to prove the Church-Rosser Theorem, which is now the standard way one proves the consistency of systems of this kind. Instead, Curry was looking at sequences based on what we now call weak contractions with strings of variables added on the right. After his dissertation, Curry developed further ground-breaking ideas that continue to be very influential. These include, functionality (which became the basis of what we now call type assignment), the correspondence between types and implication formulas (the beginning of the idea of "propositions as type...

Ключевые слова


  Haskell 


Поделиться ссылкой на книгу




Об авторе

Fairouz K.

Haskell C.

Jonathan S.


Последние поступления в рубрике "Тематика определяется"



Лучшие задания на устройство мироздания. 1-4 классы Зеленко С.

В сборник включены занимательные задания, кроссворды, головоломки, загадки, лабиринты, шифровки, решение которых поможет ученикам начальной школы закрепить и расширить знания о растительном и животном мире, о природных явлениях и окружающей среде....

Словарные филворды и головоломки. Игры со словами для детей Зеленко С.

В сборник включены игровые задания в виде филвордов, кроссвордов, кейвордов, лабиринтов, ребусов и шифровок, решение которых поможет ученикам начальных классов закрепить знание словарных слов за курс младшей школы. Задания специально разработаны таким образом, чтобы сделать процесс запоминания сложной учебной информации простым и увлекательным....

Математические судоку и лабиринты. Игровые задания для детей Зеленко С.

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

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Fairouz K., Haskell C., Jonathan S., Foundations of Combinatory Logic. (Grundlagen der kombinatorischen Logik) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.