[agi] How do we call an app for generating theorems valid for given input->output set?

[ivan . moony]

Does the above question make sense?
------------------------------------------
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T478197684aba08de-Md6724e8941d303cc7cc4fff1
Delivery options: https://agi.topicbox.com/groups/agi/subscription