Archives

Past PBT Presentations

Inherent Limitations of Digital Computers April 11, 2019.  Read more about that meeting here. Capabilities & Limitations of Artificial Intelligence May 9, 2019 This meeting examines the current and potential capabilities of artificial intelligence (AI) and the inherent limitations of statistically based methods. The presentation is intended for anyone with general knowledge of science and technology. It addresses the purpose and intent, the inherent limitations, and causes of failures in AI applications. It helps explain why mundane products claim AI and why AI receives enormous investment despite its dramatic failures. It distinguishes between problems for which AI is appropriate and for which it is inherently incapable. The Capabilities and Limitations of Traditional Logical MethodsJune 13, 2019Property based types (PBT) is a theory of reasoning in the human mind that overcomes known limitations of digital computing, artificial intelligence, and formal logic. This session points out capabilities and limitations of classical logic which is the logic everyone is taught in school. This presentation will review major features of classical logic together with several aspects that are not widely known in the general public. The primary purpose of this presentation is to provide motivation and background for the July 11th meeting which will be the first to discuss details of property based types.  The Logic of Property Based Types     July 11, 2019 This lecture discusses the key aspects that distinguish formal logics from the deductive reasoning processes of the human mind. It shows a series of insights and innovations that enable a …