What is AI - a position paper

Version 0.1 2012-04-08

Author:

Richard Weyhrauch (IBUKI)

Note:

This document writes down some of my thoughts about the study of artificial intelligence. It has not been approved by me for publication or wie distribution and is available on this public web site only to provide hints about a lot of still unpolished ideas.

Peano Arithmetic
  1. induction
  2. (forall (t [term]) (theorem (make-wff '= t t)))
   
The Cantor Intersection Theorem

Wilson's Theorem

prime(p) => congruent((factorial (- p 1)) -1 p)
Proof:  
  Residue classes (mod p) are a field
  therefore (not (= a 0) implies (exists-unique b (multiplicative-inverse b a))
  therefore (congruent (* a b) 1 p)
  Lanrange's theorem implies 
   (implies 
     (conguent a (mulitplicative-inverse a) p)
     (or (= a 1) (= a -1)) )
   because