4
Le reti profonde possono essere addestrate per dimostrare i teoremi?
Supponiamo di avere un gran numero di prove nel calcolo del predicato del primo ordine. Supponiamo di avere anche gli assiomi, i corollari e i teoremi in quell'area della matematica anche in quella forma. Considera ogni proposizione che è stata dimostrata e il corpo della teoria esistente che circonda quella …