Roy Dyckhoff
Roy Dyckhoff dating history
Relationships
We have no records of past relationships for Roy Dyckhoff.
About
Roy Dyckhoff is a member of the following lists: 1948 births, Alumni of the University of Oxford and People associated with the University of St Andrews.
Contribute
Who is Roy Dyckhoff dating? Roy Dyckhoff partner, spouse list. Help us build our profile of Roy Dyckhoff!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| Birthday |
4th March, 1948
|
| Died |
23rd August, 2018
|
| Zodiac Sign |
Pisces
|
Roy Dyckhoff (March 4, 1948 – August 23, 2018) was a British mathematician, logician and computer scientist who worked in logic and proof theory in the Department of Pure Mathematics and later Computer Science at the University of St Andrews. He is most well known for his discovery in 1992 of a terminating sequent calculus for intuitionistic propositional logic. His Erdős number was 3.
