The pbtOmega forum is a regularly scheduled meeting for presentation, discussion, and networking related to any aspect of property based types (PBT) from mathematical foundations, through previously unimagined applications, to social and economic implications. Anyone interested in better understanding any aspect of PBT is welcome. Each meeting includes a presentation on a designated topic. Meetings are public and typically held on the second Tuesday of each month, but be sure to check the schedule when you signup for a meeting.
Register here for updates and information about all pbtOmega Forum presentations.
The following presentations are planned: (See past presentations at the end of this list.)
• Capabilities & Limitations of Artificial Intelligence
When: 7:00p Thursday May 9, 2019
Venue: Code & Supply
Where: 5648 Friendship Ave. 3rd floor, Pittsburgh PA 15206
(Building is at corner of S. St. Clair St. Rear entrance has an elevator)
Abstract: 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, 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
• Beyond the Limits of Traditional Computing
Abstract: The logical foundations of property based types
• The Unique Abilities of the Human Mind
Abstract: Mental abilities beyond those of other species, TDC, & AI
• Emulating the Unique Abilities of the Human Mind
Abstract: Extra-logical Abilities & Limitations of PBT
• User Perspective and Applications of PBT
Abstract: Turning PBT Abiities into Useful Applications
• Informal Communication & Natural Language Understanding
Abstract: Language & Understanding in PBT Systems
• The Omega Language
Abstract: An auxiliary language with English grammatical bias
• Developing a PBT Platform & Infrastructure
Abstract: Implementation Techniques for Omega complier and APIs
• Social & Economic Implications of PBT Systems
• Philosophical Implications of PBT Systems
• A PBT Reasoning Engine
Abstract: An instruction set architecture (ISA) for a PBT Processor
Past presentations related to PBT or Omega
Human & Automated Reasoning
Jan 24, 2019 @ Reasoning Technology, Pittsburgh PA
Abstract: Mind vs. Computers: this presentation examines the evolution of human reasoning in the mind and body, the expectations for reasoning in automated systems, and the limitations of digital computers and artificial intelligence that preclude satisfaction of those expectations.
The Omega Language
February 14, 2019 @ Pittsburgh Functional Programming Meetup
— Introduction & Summary
Abstract: Introduction & Summary: this presentation discusses the purpose, key mechanisms and capabilities of the Omega languages and contrasts them with traditional programming languages. Omega is a general purpose problem solving language with an informal conversational interface. Like pure functional programming languages, It is declarative and side-effect free. It is a pure calculus of types where each type characterizes a category of things. Omega expands the range of applications of automated systems by validly characterizing and answering questions about anything that can be imagined including infinite, incompletely knowable and nonexistent things.
• Inherent Limitations of Digital Computers
Thursday April 11, 2019, 7:00-9:00 pm; Code & Supply, 5648 Friendship Ave. 3rd floor, Pittsburgh PA 15206
Abstract: What computers can and cannot do: This meeting examines the capabilities and limitations of traditional digital computers. The presentation is intended for anyone with general knowledge of science and technology. It addresses the purpose and intent, the inherent limitations, and the causes of failures in digital computer applications. It helps explain why software is expensive to develop, unreliable in use, and difficult to maintain. Only by understanding the inherent limitations of traditional digital computers and their programming languages can we improve the cost-effectiveness and expand the applicable domains automated systems.