On 20 Aug 2011, at 04:24, meekerdb wrote:
On 8/19/2011 6:14 PM, Craig Weinberg wrote:
> Perhaps later. See a bit below. Bp is meant for "the machine
> p" when written in the language of the machine. If the machine
> theorem prover for arithmetic, Bp is an abbreviation for
> beweisbar('p') with beweisbar the arithmetical provability
> of Gödel, and 'p' is for the Gödel number of p (that is a
> of p in the language of the machine). The "#" is for any
Don't you need some temporality? B means "proves", but you use it
an tenseless form also to mean "provable" and then also to mean
"believes". But a machine being emulated by the UD doesn't "prove"
everything provable at once. It works through them (and takes a
great many steps) and so it does "believe" everything that is
provable. Does that mean no thread of it's emulation is Loebian
until induction has been proved/believed in that thread?
At some level yes. Human "induction rule" (which makes them Löbian) is
probably hardwired by our biological history.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at