John V. Tucker
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Born | Cardiff |
| United Kingdom | |
| Books | Program Correctness Over Abstract Data Types, with Error-state Semantics |
| Education | University of Bristol |
| University of Warwick | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1204248 |
John V. Tucker Life story
John Vivian Tucker is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines.