Войти
Джон Вивиан Такер (родился в 1952 г.) - британский ученый-компьютерщик и эксперт по теории вычислимости, также известной как теория рекурсии. Теория вычислимости - это то, что могут и не могут вычислить люди и машины. Его работа была сосредоточена на обобщении классической теории для работы со всеми формами дискретных / цифровых и непрерывных / аналоговых данных; и об использовании обобщений как формальных методов для проектирования систем; и на интерфейсе между алгоритмами и физическим оборудованием.
Родился в Кардиффе, Уэльс, получил образование в средней школе Bridgend Boys, где ему преподавали математику, логику и вычисления. Он изучал математику в Уорикском университете (степень бакалавра в 1973 г.) и изучал математическую логику и основы вычислений в Бристольском университете (степень магистра в 1974 г., докторская степень в 1977 г.). Он занимал должности в Университете Осло, CWI Амстердам, а также в университетах Бристоля и Лидса, а затем вернулся в Уэльс в качестве профессора компьютерных наук в Университете Суонси в 1989 году. информатика, Такер также читает лекции по истории вычислений и истории науки и техники и Уэльса.
Такер основал Британский коллоквиум по теоретической информатике в 1985 году и был его президентом с момента его создания до 1992 года. Он является членом из британской Computer Society и редактор ряда международных научных журналов и серий монографий. В Суонси он был главой отдела компьютерных наук (1994–2008 гг.), Главой отдела физических наук (2007–11 годы) и заместителем проректора (2011–2011 гг.). Он является членом Academia Europaea. Помимо компьютерных наук, Такер был попечителем валлийского аналитического центра, Института валлийских дел и председателем отделения Суонси-Бэй. Он также является попечителем Образовательного фонда инженеров Южного Уэльса и Общества Гауэра.
. Профессор Такер женат на докторе Т.Э. Рил, ранее изучавший древнюю историю в университете Суонси.
В начале 1990-х он начал лоббировать национальную академию Уэльса. В 2008 году начался процесс создания такой академии при финансовой поддержке тогдашнего Уэльского университета. Профессор Такер является одним из основателей Образованного общества Уэльса, а в июле 2010 года он был назначен его первым генеральным секретарем.
Классическая теория вычислимости основана на типах данных строк или натуральных чисел. В общем, типы данных, как дискретные, так и непрерывные, моделируются универсальными алгебрами, которые представляют собой наборы данных, снабженные операциями и тестами. Теоретическая работа Такера решает следующие проблемы: как определить или специфицировать свойства операций и тестов типов данных; как программировать и рассуждать с ними; и как их реализовать.
В серии теорем и примеров, начиная с 1979 года, Ян Бергстра и Такер установили выразительную силу различных типов уравнений и других алгебраических формул для любого дискретного типа данных. Например, они показали, что
Результаты объединили методы универсальной алгебры и теория рекурсии, включая переписывание терминов и теорему Матиясевича.
Для других задач он и его сотрудники разработали два независимых разрозненных обобщения классической теории вычислимости / рекурсии, которые эквивалентны для множество непрерывных типов данных.
Первое обобщение, созданное Джеффри Цукером, фокусируется на императивном программировании с абстрактными типами данных и охватывает спецификации и проверку с использованием логики Хоара. Например, они показали, что:
Второе обобщение, созданное Вигго Столтенберг-Хансен, фокусируется на реализации типов данных с использованием приближений, содержащихся в упорядоченных структурах теории предметной области.
. Общие теории применялись в качестве формальных методов при проверке микропроцессоров, типов данных и инструментов для объемной графики и моделирования возбудимых сред, включая сердце.
С 2003 года Такер работал с Эдвином Беггсом и Феликсом Коста над общей теорией, анализирующей интерфейс между алгоритмами и физическим оборудованием. Теория отвечает на различные вопросы, касающиеся:
путем преобразования Идея оракула в теории вычислимости, они сочетают алгоритмические модели с точно заданными моделями физических процессов. Например, они задают вопрос:
Их основная идея заключается в том, что просто как Тьюринг смоделировал человеческий компьютер в 1936 году с помощью машины Тьюринга, они смоделировали техника, выполняющую экспериментальную процедуру, которая управляет экспериментом, с помощью машины Тьюринга. Они показывают, что математика вычислений накладывает фундаментальные ограничения на то, что можно измерить в классической физике:
В 2007 году Такер основал Историю вычислительной техники в Университете Суонси. Он читает лекции по истории вычислений с 1994 года, он является одним из основателей редакционной коллегии серии книг Springer History of Computing. Он также читает лекции по истории науки и техники в Уэльсе и является одним из основателей редакционной коллегии серии книг University of Wales Press «Ученые Уэльса».
