Contact us Heritage collections Image license terms
HOME ACL Associates Technology Literature Applications Society Software revisited
Further reading □ Permanent staff □ OverviewBALDWIN, JohnBAYLIS, MikeBELL, AlexCHURCHHOUSE, BobELDER, Mike and MACHIN, PellaFOSSEY, BartFRANCIS, AlanGALLOP, JulianHAILSTONE, JimHAYES, BillHOCKEY, SusanHOPGOOD, BobHOWLETT, JackLOACH, BernardMOYE, KenROBERTS, RobbieRUSSELL, DonSAUNDERS, VicTHOMAS, Judy □ Fellows □ ATKIN, OliverDORAN, JamesGOOD, JackGRANT, IanHODSON, FrankHUNT, GarryLEECH, JohnMCKAY, JohnMELTZER, BernardWALSH, Joan □ Memorials and obituaries □ On-siteElsewhereCelebrating the life of Jack Howlett
ACD C&A INF CCD CISD Archives Contact us Heritage archives Image license terms

Search

   
ACLAssociatesPermanent
ACLAssociatesPermanent
ACL ACD C&A INF CCD CISD Archives
Further reading


Permanent staff
OverviewBALDWIN, JohnBAYLIS, MikeBELL, AlexCHURCHHOUSE, BobELDER, Mike and MACHIN, PellaFOSSEY, BartFRANCIS, AlanGALLOP, JulianHAILSTONE, JimHAYES, BillHOCKEY, SusanHOPGOOD, BobHOWLETT, JackLOACH, BernardMOYE, KenROBERTS, RobbieRUSSELL, DonSAUNDERS, VicTHOMAS, Judy
Fellows
ATKIN, OliverDORAN, JamesGOOD, JackGRANT, IanHODSON, FrankHUNT, GarryLEECH, JohnMCKAY, JohnMELTZER, BernardWALSH, Joan
Memorials and obituaries
On-siteElsewhereCelebrating the life of Jack Howlett

Bernard Meltzer

Bernard Meltzer was initially a reader in the University of Edinburgh Department of Electrical Engineering However an interest in mathematical logic and the possibilities of the use of digital computers to do mathematical reasoning led to a year's Fellowship at the Atlas Computer Laboratory in 1964-65. On returning to Edinburgh he set up an independent research unit to pursue his new interests. Called the Metamathematics Unit, it quickly established an international reputation as a centre for research in artificial intelligence, extending the scope of its work for automatic proof of mathematical theorems to the programming of the other activities such as induction and commonsense reasoning.

Bernard Meltzer died on July 4, 2008

A full obituary is available at the University of Edinburgh School of Informatics.

⇑ Top of page
© Chilton Computing and UKRI Science and Technology Facilities Council webmaster@chilton-computing.org.uk
Our thanks to UKRI Science and Technology Facilities Council for hosting this site