Showing posts with label Goedel Proof. Show all posts
Showing posts with label Goedel Proof. Show all posts

Monday, October 26, 2015

Sufficiently Strong Theory

                                           To enlarge image, click on it.

Monday, October 12, 2015

Primitive Recursive Functions

                                                       To enlarge image, click on it.

Tuesday, October 6, 2015

Sufficiently Expressive Languages

                                                 To enlarge images, click on it.

Monday, October 5, 2015

Cooking Up Well Formed Formulae (wffs)

                                        To enlarge image, click on it