Re: Cartoon Guide to Löb's Theorem

2008-08-18 Thread Bruno Marchal
Le 17-août-08, à 22:45, Günther Greindl a écrit : > for those of you thinking about Bruno's theories, this is a nice little > tutorial to get up to speed on a bit of relevant logic: > > http://www.overcomingbias.com/2008/08/lobs-theorem.html > > The cartoon guide is also available via PDF: > ht

Re: Simplicity, the infinite and the everything (42x)

2008-08-18 Thread John Mikes
Brent, thanx for the agreement, - however "INVENTIONS"? I feel more open than that, MAYBE (considering unlimited openness) there IS something in the reality (which is not accessible to our feeble mentality) that in some mental simplifying and planifying (? like digitalization) way could lead to

Re: Simplicity, the infinite and the everything (42x)

2008-08-18 Thread Bruno Marchal
On 18 Aug 2008, at 03:45, Brent Meeker wrote: > Sorry. I quite agree with you. I regard logic and mathematics as our > inventions - not restrictions on the world, but restrictions we > place on how we > think and talk about the world. We can change them as in para- > consistent logics.