The research in Coquand's area stretches back over 100 years, when the philosopher and mathematician Bertrand Russell coined the concept of 'types' in an effort to solve a number of mathematical problems. Thus, the concept was originally developed in response to entirely internal problems within the field of foundation of mathematics.
The so-called type theory became the most precise formulation of logic, and eventually came to also include links between mathematical proofs and computer programmes. Today, the concept of types plays an important role in the context of different programming languages for example. Type theory is also used within fields such as linguistics and language technology, since a 'type' serves as a carrier of meaning and also facilitates correct grammar in translations. Coquand has been involved in the research project TYPES ever since it was started in the late 1980s.
Alan Turing, one of the founders of computer science, is another person who has played a critical role in the evolution of the research area. Around 1930, Turing solved Hilbert's "Entscheidungsproblem" (decision problem) by providing a rigorous definition of the mathematical concept of algorithm. While this may sound very abstract and inaccessible, Turing's definition of algorithms actually laid the foundation for digital computing as we know it. His definition has also had an enormous impact on how problems are solved in computer science.
Thierry Coquand's ERC grant is intended to push his research a step further on the path started by Bertrand Russel and Alan Turing.
'My work is a continuation of the work of Russell and Turing, and it deals mainly with a new way of connecting mathematical reasoning and algorithms, coming from more recent research in type theory' says Coquand.'But when it comes to future areas of application, I'd like to point out that the field may set off in a direction that's entirely different than we once thought. Nevertheless, the theoretical issues are extremely interesting to work with and solve, regardless of in what context the results will be applied.'
The ERC grant is, unlike other EU grants, open to individual researchers. It does not require applicants to be part of a network. Grants are available in all areas of science, and cross-disciplinary applications are encouraged. The sole criterion is scientific excellence. (Source: The Swedish Research Council)
Helena Aaberg | idw
Tracking down pest control strategies
31.01.2018 | Technische Universität Dresden
Polymers and Fuels from Renewable Resources
29.01.2018 | DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.
A newly developed laser technology has enabled physicists in the Laboratory for Attosecond Physics (jointly run by LMU Munich and the Max Planck Institute of Quantum Optics) to generate attosecond bursts of high-energy photons of unprecedented intensity. This has made it possible to observe the interaction of multiple photons in a single such pulse with electrons in the inner orbital shell of an atom.
In order to observe the ultrafast electron motion in the inner shells of atoms with short light pulses, the pulses must not only be ultrashort, but very...
A group of researchers led by Andrea Cavalleri at the Max Planck Institute for Structure and Dynamics of Matter (MPSD) in Hamburg has demonstrated a new method enabling precise measurements of the interatomic forces that hold crystalline solids together. The paper Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, published online in Nature, explains how a terahertz-frequency laser pulse can drive very large deformations of the crystal.
By measuring the highly unusual atomic trajectories under extreme electromagnetic transients, the MPSD group could reconstruct how rigid the atomic bonds are...
Quantum computers may one day solve algorithmic problems which even the biggest supercomputers today can’t manage. But how do you test a quantum computer to...
For the first time, a team of researchers at the Max-Planck Institute (MPI) for Polymer Research in Mainz, Germany, has succeeded in making an integrated circuit (IC) from just a monolayer of a semiconducting polymer via a bottom-up, self-assembly approach.
In the self-assembly process, the semiconducting polymer arranges itself into an ordered monolayer in a transistor. The transistors are binary switches used...
Breakthrough provides a new concept of the design of molecular motors, sensors and electricity generators at nanoscale
Researchers from the Institute of Organic Chemistry and Biochemistry of the CAS (IOCB Prague), Institute of Physics of the CAS (IP CAS) and Palacký University...
15.02.2018 | Event News
13.02.2018 | Event News
12.02.2018 | Event News
23.02.2018 | Physics and Astronomy
23.02.2018 | Health and Medicine
23.02.2018 | Physics and Astronomy