[gnulinux]

Why set an arbitrary goal like that? Why not understanding Curry-Howard correspondence or Godel's Incompleteness or Hilbert's 17 instead.

[jim_bailie]

That was my $0.02 as someone who majored in Physics. You just gave $0.04. Good suggestions.