Энн Шерп Трульстра

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

Оглавление1 Энн Сьерп Троэлстра1.1 Биография Энн Сьерп Троелстра1.2 Вклад в науку1.3 Библиография1.4 Дополнительные сведения2 Энн Шерп Трульстра — Википедия Энн […]

1939 births, 2019 deaths, 20th-century Dutch people, Academic staff of the University of Amsterdam, Dutch mathematicians, Dutch scientist stubs, European mathematician stubs, Members of the Royal Netherlands Academy of Arts and Sciences, People from De Bilt, University of Amsterdam alumni, Академический состав Амстердамского университета, Выпускники Амстердамского университета, Голландские математики, Голландцы 20-го века, Европейский математик заглушки, Люди из Де Билта, Незавершённые статьи голландских учёных, Рождения в 1939 году, смерти в 2019 году, Члены Королевской Нидерландской академии искусств и наук

Энн Сьерп Троэлстра

  • Биография Энн Сьерп Троелстра

    • Профессор чистой математики и основ математики в ILLC Амстердамского университета 
    • Известен как логик-конструктивист, оказавший влияние на развитие интуиционистской логики 
    • Разработал теорию последовательностей выбора вместе с Георгом Крайзелем 
    • Автор одного из первых текстов по линейной логике и соавтор книги по теории доказательств с Гельмутом Швихтенбергом 

  • Вклад в науку

    • Член Королевской Нидерландской академии искусств и наук с 1976 года 
    • Скончался 7 марта 2019 года 

  • Библиография

    • Опубликовал работы по линейной логике, теории доказательств и другим математическим темам 

  • Дополнительные сведения

    • Ссылки на внешние ресурсы и предложения по улучшению статьи 

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

Энн Шерп Трульстра — Википедия

Похожие статьи:

  1. Энн Ромни Оглавление1 Энн Ромни1.1 Ранние годы и образование1.2 Брак и семья1.3 Политическая деятельность1.4 Рассеянный склероз1.5 Наследие1.6 Лечение...
  2. Тиккурисси Сукумаран Наир Оглавление1 Thikkurissy Sukumaran Nair1.1 Ранние годы и образование1.2 Карьера в театре1.3 Карьера в кино1.4 Личная жизнь1.5...
  3. Доказательное образование Оглавление1 Обучение, основанное на фактических данных1.1 Обзор образовательных программ1.2 Программы для чтения1.3 Программы по математике1.4 Программы...
  4. Элизабет Энн Сетон Оглавление1 Элизабет Энн Сетон1.1 Ранние годы и семья1.2 Брак и материнство1.3 Вдовство и переход в католичество1.4...
  5. Марк С. Райтон Оглавление1 Марк С. Райтон1.1 Ранние годы и образование1.2 Карьера в Массачусетском технологическом институте1.3 Карьера в Вашингтонском...
  6. История математики Оглавление1 История математики1.1 История математики1.2 Доисторический период1.3 Вавилонская математика1.4 Египетская математика1.5 Изучение математики в Египте1.6 Греческая...
  7. Антиномический спор Оглавление1 Противоречие между антиномами1.1 Антиномическая полемика1.2 Роль Энн Хатчинсон1.3 Политические последствия1.4 Исторический контекст1.5 Сторонники антиномии1.6 Итоги...
  8. Энн Морроу Линдберг Оглавление1 Энн Морроу Линдберг1.1 Ранние годы и образование1.2 Брак и семья1.3 Переезд в Европу1.4 Возвращение в...
  9. Кейп-Энн Оглавление1 Кейп-Энн1.1 История и этимология1.2 Землетрясение и промышленность1.3 Сообщества и география1.4 Популярная культура1.5 Полный текст статьи:2...
  10. Теории заговора 11 сентября Оглавление1 теории заговора 11 сентября1.1 Теории заговора о терактах 11 сентября1.2 Основные теории заговора1.3 Мотивы и...
  11. Депутат – Arc.Ask3.Ru Оглавление1 Член парламента1.1 Однопалатный принцип1.2 Двухпалатный режим1.3 Трехпалатный режим1.4 Многокамерность1.5 Верхняя палата (Сенат)1.6 Нижняя палата1.7 Парламентская...
  12. Азиатско-американские и тихоокеанские острова Американский консерватизм в США – Arc.Ask3.Ru Оглавление1 Азиатско-американские и тихоокеанские острова Американский консерватизм в Соединенных Штатах1.1 Основные направления консерватизма1.2 Известные консервативные лидеры1.3...
  13. Черный консерватизм в США Оглавление1 Консерватизм чернокожих в Соединенных Штатах1.1 Основные характеристики консерватизма1.2 Основные движения и партии1.3 Известные личности и...
  14. Серебряная медаль АСА – Arc.Ask3.Ru Оглавление1 Серебряная медаль ASA1.1 Серебряная медаль ASA1.2 Акустическая океанография1.3 Биоакустика животных1.4 Архитектурная акустика1.5 Биомедицинская акустика1.6 Биомедицинский...
  15. Сложность доказательства Оглавление1 Сложность доказательства1.1 Определение и сложность доказательства1.2 Системы доказательств и их сложность1.3 Методы доказательства и их...
  16. Культура Анн-Арбора, штат Мичиган – Википедия Оглавление1 Культура Энн-Арбора, штат Мичиган1.1 История и культура Энн-Арбора1.2 Образование и наука1.3 Спорт и развлечения1.4 Искусство...
  17. Традиционная китайская медицина Оглавление1 Традиционная китайская медицина1.1 История и терминология1.2 Лженаука и антинаучный1.3 Научный и терапевтический нигилизм1.4 Альтернативные медицинские...
  18. Мэри Энн Шадд Оглавление1 Мэри Энн Шадд1.1 Ранние годы и семья1.2 Образование и социальная активность1.3 Журналистская деятельность1.4 Гражданская война...
  19. Логология (наука) – Arc.Ask3.Ru Оглавление1 Логология (наука)1.1 Происхождение логологии1.2 История и развитие1.3 Определение науки1.4 Познаваемость реальности1.5 Непознаваемые вопросы1.6 Проблема зарождения...
  20. Бетти Энн Кейс Оглавление1 Дело Бетти Энн1.1 Образование и карьера1.2 Исследования и публикации1.3 Вклад в образование и науку1.4 Признание...
  21. Член Королевской инженерной академии Оглавление1 Член Королевской инженерной академии1.1 Стипендия Королевской инженерной академии (FREng)1.2 Процесс отбора1.3 Основные атрибуты высокого профессионализма1.4...
  22. Политическая семья Оглавление1 Политическая семья1.1 Политические семьи в США1.2 Президентские семьи1.3 Другие политические семьи1.4 Семья Браун1.5 Семья Бжезинских1.6...

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

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