— Mind vs. Computers
When: 5:00p Thursday 24 January 2019
Venue: Reasoning Technology, LLC
Where: Catapult CoWorking /4327 Butler St. 2nd floor/Pittsburgh, PA 15201
Abstract: This presentation is part of a lecture series on human and automated reasoning. The series examines (a) the evolution of human reasoning, (b) the development of the logic of property based types (PBT) which emulates aspects of the human mind and (c) the social, economic and philosophical implications of automated systems of property based types. This session focuses on the differences among classical logic which underlies digital computation, the logic of property based types, and the statistical inference methods of modern artificial intelligence.