John Vivian Tucker (nacido el 4 de febrero de 1952) es un informático británico y experto en teoría de la computabilidad , también conocida como teoría de la recursión . La teoría de la computabilidad trata de lo que pueden y no pueden calcular las personas y las máquinas. Su trabajo se ha centrado en la generalización de la teoría clásica para abordar todas las formas de datos discretos/ digitales y continuos/ analógicos ; y en el uso de las generalizaciones como métodos formales para el diseño de sistemas; basándose en tipos de datos abstractos y en la interfaz entre algoritmos y equipos físicos.
Nacido en Cardiff, Gales, se educó en la Bridgend Boys' Grammar School, donde aprendió matemáticas, lógica e informática. Estudió matemáticas en la Universidad de Warwick (licenciatura en 1973) y lógica matemática y los fundamentos de la informática en la Universidad de Bristol (máster en 1974, doctorado en 1977). Ha ocupado puestos en la Universidad de Oslo , el CWI de Ámsterdam y las universidades de Bristol y Leeds , antes de regresar a Gales como profesor de informática en la Universidad de Swansea en 1989. Además de informática teórica, Tucker también imparte conferencias sobre la historia de la informática y sobre la historia de la ciencia y la tecnología y Gales.
Tucker fundó el British Colloquium for Theoretical Computer Science en 1985 y fue su presidente desde su creación hasta 1992. Es miembro de la British Computer Society y editor de varias revistas científicas internacionales y series monográficas. En Swansea, ha sido director de Ciencias de la Computación (1994-2008), director de Ciencias Físicas (2007-2011) y vicerrector adjunto (2011-2019). Es miembro de la Academia Europaea . Fuera de la informática, Tucker ha sido fideicomisario del grupo de expertos galés, el Institute of Welsh Affairs y presidente de la sucursal de Swansea Bay . También es fideicomisario del South Wales Institute of Engineers Educational Trust y de la Gower Society.
El profesor Tucker está casado con el Dr. TE Rihll, ex lector de Historia Antigua en la Universidad de Swansea.
A principios de los años 90, comenzó a hacer lobby para que se creara una academia nacional para Gales. En 2008, se inició un proceso para crear dicha academia, patrocinado por la entonces Universidad de Gales . El profesor Tucker es miembro fundador de la Sociedad Científica de Gales y en julio de 2010 fue designado como su primer secretario general, cargo que ocupó hasta mayo de 2017.
La teoría clásica de la computabilidad se basa en los tipos de datos de cadenas o números naturales . En general, los tipos de datos, tanto discretos como continuos, se modelan mediante álgebras universales , que son conjuntos de datos dotados de operaciones y tests. El trabajo teórico de Tucker aborda los problemas de: cómo definir o especificar propiedades de las operaciones y tests de los tipos de datos; cómo programarlos y razonar con ellos; y cómo implementarlos.
En una serie de teoremas y ejemplos, a partir de 1979, Jan Bergstra y Tucker establecieron el poder expresivo de diferentes tipos de ecuaciones y otras fórmulas algebraicas sobre cualquier tipo de datos discretos, guiados por teoremas de la forma:
Su programa clasificó de manera exhaustiva los métodos de especificación de tipos de datos. Los resultados combinaron técnicas de álgebra universal y teoría de recursión, incluyendo la reescritura de términos y el teorema de Matiyasevich .
Para los demás problemas, él y sus colaboradores han desarrollado dos generalizaciones independientes y dispares de la teoría clásica de computabilidad/recursión, que son equivalentes para muchos tipos de datos continuos.
La primera generalización, creada con Jeffrey Zucker, se centra en la programación imperativa con tipos de datos abstractos y abarca las especificaciones y la verificación mediante la lógica de Hoare . Por ejemplo, demostraron que:
La segunda generalización, creada con Viggo Stoltenberg-Hansen , se centra en la implementación de tipos de datos utilizando aproximaciones contenidas en las estructuras ordenadas de la teoría del dominio .
Las teorías generales se han aplicado como métodos formales en verificaciones de microprocesadores, tipos de datos y herramientas para gráficos de volumen y modelado de medios excitables, incluido el corazón.
Desde 2003, Tucker ha trabajado con Edwin Beggs y Felix Costa en una teoría general que analiza la interfaz entre algoritmos y equipos físicos. La teoría responde a varias preguntas relacionadas con:
Al transformar la idea de oráculo en teoría de la computabilidad, combinan modelos algorítmicos con modelos de procesos físicos especificados con precisión. Por ejemplo, plantean la pregunta:
Su idea central es que, así como Turing modeló la computadora humana en 1936 mediante una máquina de Turing, ellos modelan a un técnico que realiza un procedimiento experimental que gobierna un experimento mediante una máquina de Turing . Demuestran que las matemáticas de la computación imponen límites fundamentales a lo que se puede medir en la física clásica:
Desde 2004, Tucker y Victoria Wang han estudiado la naturaleza y el papel de los datos digitales en contextos personales, sociales y organizacionales, especialmente en la vigilancia. En primer lugar, han creado una teoría de las tecnologías fáticas y la han integrado en la teoría de la modernidad desarrollada por Anthony Giddens . En segundo lugar, tienen una teoría de la vigilancia de personas y objetos que se utiliza para analizar muchos contextos y procesos de vigilancia; esto ha dado lugar a modelos matemáticos de sistemas de vigilancia derivados de la teoría de tipos de datos abstractos .
En 2007, Tucker fundó la Colección de Historia de la Computación en la Universidad de Swansea . Ha impartido conferencias sobre la historia de la computación desde 1994, con intereses en la computación antes de las computadoras y las teorías de datos y computación. Es miembro fundador del consejo editorial de la serie de libros de Springer History of Computing. También imparte conferencias sobre la historia de la ciencia y la tecnología en Gales y es miembro fundador del consejo editorial de la serie de libros de University of Wales Press Scientists of Wales .