Do you perhaps mean "functions" instead of "theorems"? You're talking about a program that can generate all functions which would implement a given input -> output mapping?
Theorems would (unless I miss my guess) be a special case if the inputs were all propositions and the outputs were all True/False. And you're asking "What do we call this app," i.e. what should its name be? ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T478197684aba08de-M070ea217f0d6738651bce8f7 Delivery options: https://agi.topicbox.com/groups/agi/subscription
