The World

[as I find it]

Archive for October 2006

Graph Connectivity is not First Order Definable

Perhaps, dear readers, I am mistaken in believing that many (or any) of you are interested in logic, but on the chance that you have arrived here through a search engine in desperate hope of finding a solution to some problem, I shall post a PDF for you, and for historical purposes.

Read the rest of this entry »


Written by whereofwecannotspeak

October 22, 2006 at 7:31 pm