ВКЛ / ВЫКЛ: ИЗОБРАЖЕНИЯ: ШРИФТ: A A A ФОН: Ц Ц Ц ЦНАСТРОЙКИ:
Инфофиз
Весь мир в твоих руках, всё будет так, как ты захочешь!
г. Новороссийск
+7 (918) 465-56-36
infofiz.ru@yandex.ru

Инфофиз

Весь мир в твоих руках, всё будет так, как ты захочешь!
МЕНЮ

Как сказал...

В мире нет ничего особенного. Никакого волшебства. Только физика.

Чак Паланик

Помощь в учебе

Физика | Астрономия | Информатика

Помощь в учебе

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

Решу задачи по физике, астрономии, информатике.

Напишите мне и узнайте точную цену

Вопросы к экзамену

учебной дисциплины ФИЗИКА (смотреть)

Для студентов всех групп технического профиля Нвороссийского колледжа строительства и экономики (НКСЭ)

Список лекций по физике за 1,2 семестр

Добро пожаловать на мой сайт!

Елена Викторовна

БУДЕМ ЗНАКОМЫ
Меня зовут Елена Викторовна.
Я преподаватель и репетитор со стажем 27 лет.

Помогаю школьникам разобраться со школьной программой. Готовлю к ОГЭ и ЕГЭ.

Если Вы зашли на мой сайт, то одно желание у Вас есть точно! Желание учиться!

Мой сайт поможет Вам:

  • понять физику
  • подтянуть оценки по физике
  • изучить физику углубленно
  • научиться решать задачи
  • подготовиться к ОГЭ по физике
  • подготовиться к ЕГЭ по физике

Физика - это просто, если начать заниматься систематически, шаг за шагом! Ну, а нужна будет помощь - обращайтесь!

Занятия онлайн и очно*.  (*очно - только для Новороссийска).

Обо мне

 

Учим физику с удовольствием

Алонзо Черч

14 июня 1903 — 11 августа 1995

Работы Черча относятся к различным областям логики. Он развивал функциональный подход в основаниях математики, ввел понятия лямбда-оператора и лямбда-определимости, построил вариант лямбда-исчисления.

Алонзо Черч (англ. Alonzo Church) родился 14 июня 1903 года в Вашингтоне (США). Получил степень бакалавра в Принстонском университете в 1924 году и защитил кандидатскую в 1927 году под руководством Освальда Веблена. В 1926 году Черч становится профессором математики в Принстоне.

С 1936 года Черч являлся также редактором журнала «The Journal of Symbolic Logic». В этот период он исследует проблемы логической семантики и математической логики. Примерно в это же время им составлена знаменитая «Библиография математической логики», ставящая себе целью дать свод всей литературы по математической логике от времени зарождения этой науки до 1935 года включительно.

Слава пришла к Черчу после разработки теории лямбда-исчислений. Эта теория последовала за его знаменитой статьей 1936 года, в которой он показал существование так называемых «неразрешимых задач». Статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами.

Впоследствии Черч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Черча – Тьюринга.

Также Черу принадлежит работа, в которой он доказал, что проблема для исчисления предикатов неразрешима (1966). Эти результаты оказали большое влияние на развитие математической логики. Существенен вклад Черча и в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.

Черч оставался профессором математики в Принстоне до 1967 года, после чего он переехал в Калифорнию. Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп.

Умер Алонзо Черч 11 августа 1995 года в Хадсон (Огайо, США).

Источник: © Calend.ru

perposl.jpg

Законы и формулы

© 2024. Дудко Елена | Infofiz.ru 2011-2024 | Сайт носит информационный характер | Все права защищены | Все материалы взяты из открытых источников и представлены исключительно в ознакомительных целях. Все права на статьи, книги, видео и аудио материалы принадлежат их авторам и правообладателям. Любое распространение и/или коммерческое использование без разрешения законных правообладателей не разрешается. .
Яндекс.Метрика