Джон В. Такер - John V. Tucker

Джон Вивиан Такер (1952 г.р.) - британский ученый-компьютерщик и специалист по теория вычислимости, также известен как теория рекурсии. Теория вычислимости - это то, что могут и не могут вычислить люди и машины. Его работа была сосредоточена на обобщении классической теории для работы со всеми формами дискретных /цифровой и непрерывный /аналог данные; и об использовании обобщений как формальные методы для системного проектирования; и на интерфейсе между алгоритмы и физическое оборудование.

биография

Он родился в Кардиффе, Уэльс, получил образование в гимназии для мальчиков Бридженд, где ему преподавали математику, логику и вычисления. Он читал математику в Уорикский университет (BA в 1973 г.) и изучал математическую логику и основы вычислений в Бристольский университет (Магистр 1974 г., кандидат наук 1977 г.). Он занимал должности в Осло университет, то CWI Амстердам, Бристоль и Университеты Лидса, прежде чем вернуться в Уэльс в качестве профессора компьютерных наук в Суонси университет в 1989 г. Помимо теоретической информатики, Такер также читает лекции по истории вычислений и истории науки и техники и Уэльса.

Такер основал Британский коллоквиум по теоретической информатике в 1985 году и занимал пост президента с момента основания до 1992 года. Товарищ из Британское компьютерное общество и редактор ряда международных научных журналов и серий монографий. В Суонси он был главой отдела компьютерных наук (1994–2008 гг.), Главой отдела физических наук (2007–11 годы) и заместителем проректора (2011–2011 годы). Он является членом Academia Europaea Помимо компьютерных наук, Такер был попечителем валлийского аналитического центра, Институт валлийских дел и председатель Суонси Бэй ветвь. Он также является попечителем Образовательный фонд института инженеров Южного Уэльса, а Общество Гауэра.

Профессор Такер женат на докторе Т. Рил, ранее изучавший древнюю историю в университете Суонси.

В начале 1990-х он начал лоббировать создание национальной академии Уэльса. В 2008 году начался процесс создания такой академии, спонсируемый тогдашним Уэльский университет. Профессор Такер является одним из основателей Научное общество Уэльса а в июле 2010 года он был назначен ее первым генеральным секретарем.

Работа над вычислимостью и типами данных

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

В серии теорем и примеров, начиная с 1979 г., Ян Бергстра и Такер установили выразительную силу различных типов уравнений и других алгебраических формул для любого дискретного типа данных. Например, они показали, что

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

Результаты объединили методы универсальной алгебры и теории рекурсии, включая переписывание терминов и Теорема Матиясевича.

Для других задач он и его сотрудники разработали два независимых разрозненных обобщения классической теории вычислимости / рекурсии, которые эквивалентны для многих непрерывных типов данных.

Первое обобщение, созданное Джеффри Цукером, фокусируется на императивное программирование с участием абстрактные типы данных и охватывает спецификации и проверку с использованием Логика Хоара. Например, они показали, что:

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

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

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

Работа над вычислимостью и физикой

С 2003 года Такер работал с Эдвином Беггсом и Феликсом Коста над общей теорией, анализирующей взаимодействие между алгоритмами и физическим оборудованием. Теория отвечает на различные вопросы, касающиеся:

  1. как алгоритмы могут быть усилены физическими устройствами специального назначения, действующими как «оракулы»;
  2. как алгоритмы управляют физическими экспериментами, предназначенными для проведения измерений.

Трансформируя идею оракула в теории вычислимости, они сочетают алгоритмические модели с точно заданными моделями физических процессов. Например, задают вопрос:

Если бы физический эксперимент полностью контролировался алгоритмом, какое влияние этот алгоритм оказал бы на физические измерения, которые стали возможными благодаря эксперименту?

Их основная идея заключается в том, что подобно тому, как Тьюринг смоделировал человеческий компьютер в 1936 году с помощью машины Тьюринга, они моделируют техника, выполняющего экспериментальную процедуру, которая управляет экспериментом, с помощью машины Тьюринга. Они показывают, что математика вычислений накладывает фундаментальные ограничения на то, что можно измерить в классической физике:

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

Работа по истории науки и техники

В 2007 году Такер основал коллекцию History of Computing Collection в Суонси университет. Он читает лекции по истории вычислений с 1994 года, он является одним из основателей редколлегии журнала. Springer цикл книг История вычислительной техники. Он также читает лекции по истории науки и техники в Уэльсе и является одним из основателей редакционной коллегии журнала. University of Wales Press цикл книг Ученые Уэльса.

использованная литература

  1. Дж. А. Бергстра и Дж. В. Такер, Спецификации уравнений, полные системы переписывания термов, а также вычислимые и полувычислимые алгебры, Журнал ACM, Volume 42 (1995), pp 1194–1230.
  2. В. Столтенберг-Хансен и Дж. В. Такер, Эффективные алгебры, в С. Абрамский, Д. Габбай и Т. Майбаум (ред.), Справочник по логике в компьютерных науках, Том IV: Семантическое моделирование, Oxford University Press (1995), стр. 357–526.
  3. В. Столтенберг-Хансен и Дж. В. Такер, Вычислимые кольца и поля, в E Griffor (ed.), Справочник по теории вычислимости, Elsevier (1999), стр. 363–447.
  4. Дж. В. Такер и Дж. И. Цукер, Вычислимые функции и полувычислимые множества на многих отсортированных алгебрах, в С. Абрамский, Д. Габбай и Т. Майбаум (ред.), Справочник по логике в компьютерных науках, Том V: Логические и алгебраические методы, Oxford University Press (2000), стр. 317–523.
  5. Дж. В. Такер и Дж. И. Цукер, Абстрактная вычислимость и алгебраическая спецификация, Транзакции ACM по вычислительной логике, Том 5 (2004), стр. 611–668.
  6. Дж. А. Бергстра, Ю. Хиршфельд и Дж. В. Такер, Луга и эквациональная спецификация деления, Теоретическая информатика, 410 (2009), 1261–1271. Дои:10.1016 / j.tcs.2008.12.015
  7. Э. Дж. Беггс, Дж. Ф. Коста, Б. Лофф и Дж. В. Такер, Вычислительная сложность с экспериментами как оракулами, Слушания Королевского общества, серия A, 464 (2008) 2777–2801.
  8. Э. Дж. Беггс, Дж. Ф. Коста, Б. Лофф и Дж. В. Такер, Вычислительная сложность с экспериментами как оракулами II: верхние границы, Слушания Королевского общества, серия A, 465 (2009) 1453–1465.
  9. Э. Дж. Беггс, Дж. Ф. Коста и Дж. В. Такер, Ограничения на измерения в экспериментах, регулируемых алгоритмами, Математические структуры в информатике, 20 (2010) 1019–1050.
  10. Дж. В. Такер, Роберт Recorde: данные, вычисления и экономика знаний Тюдоров, в G Roberts и F Smith (ed), Роберт Рекорд: жизнь и работа, University of Wales Press, 2012, 165–187.
  11. Дж. В. Такер, Ричард Прайс и история науки, Сделки Почетного общества Cymmrodorion, Новая серия 21 (2017), 69-86.

внешние ссылки