Re: A Possible Mathematical Structure for Physics

From: Bruno Marchal <>
Date: Wed, 19 Aug 2009 21:26:33 +0200

On 19 Aug 2009, at 18:41, ronaldheld wrote:

> Bruno:
> the Plotinus paper is the first one on your list of publications on
> your website?

It is also the "pdf" on my home page, at the right of
A Purely Arithmetical, yet Empirically Falsifiable, Interpretation of
Plotinus’ Theory of Matter

Or this:

It has been published since, I should decide to update my web page.

You may have some idea of the idea, but this is really AUDA and the
math part presupposes some mathematical logic. It was a congress in
logic and computer science.


> Ronald
> On Aug 18, 10:46 am, Bruno Marchal <> wrote:
>> Ronald,
>> On 18 Aug 2009, at 14:14, ronaldheld wrote:
>>> I have heard of Octonians but have not used them.
>>> I do not know anything about intelligible hypostases
>> Have you heard about Gödel's provability (beweisbar) predicate
>> bew(x)?
>> If you have, define con(x) by ~bew ('~x') (carefully taking into
>> account the Gödel numbering). Con is for contingent, or consistent.
>> Then the logic of the intelligible matter hypostases are given by the
>> predicate Bew(x) & Con(x)
>> (The sensible, non intelligible, hypostases, cannot be defined by a
>> predicate, and some detour in Modal logic is necessary, but for each
>> arithmetical propositions p, you can define them by Bp & Dp & p. (Dp
>> is ~B ~p, Bp is bew('p'))
>> Note that Bp & Dp & p is "obviously" equivalent to p, for any correct
>> machine, but no correct machine can see that equivalence, and this is
>> a consequence of incompleteness).
>> You can read my Plotinus paper for more, if interested.
>> You can also read Plotinus II, 4: "On Matter". Plotinus took
>> Aristotle
>> not quite Platonist theory of matter, and recasted it in
>> "his" (neo)Platonist doctrine.
>> Basically, matter, for Aristotle---Plotinus is what is indeterminate.
>> If fits well with comp where matter is the indeterminate computations
>> which exist below the comp substitution level (by step 7).
>> I have not really the time to say much more for now, and this is in
>> AUDA, and it is better to get UDA straight before. I think.
>> Bruno
> >

You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at
Received on Wed Aug 19 2009 - 21:26:33 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:16 PST