Tony Hoare Quotes
An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship with the human mind.
Topics
Artificial Intelligence, AI
Biological Sciences
Consciousness
Human Mind
Relationship, Relationships
Neuroscience
Human Brain
Brain Function
Cognitive Architecture
Cognitive Neuroscience
Cognitive Science
Mental Representation
Mind-Body Relationship
Neural Networks
Neurobiology
Neuroplasticity
Neural Mechanisms
Citations
Hoare, C. A. R. "Grand Challenges for Computing Research." The Computer Journal, vol. 46, no. 1, Oxford University Press, 2003, p. 22.
Related Quotes
Sir Charles Antony Richard Hoare FRS FREng is a British computer scientist. He developed the sorting algorithm quicksort in 1959–1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the programming language occam.