Hi Alex,
> On 16 Feb 2018, at 06:18, Alex Hankey wrote:
>
> But Bruno, to harp on an old point,
> "mathematicians (and their “dreams”)"
> implies the world of 'ideas’,
Yes. You can identify the ideas with the program, and thus with the numbers
once you fix some base (any Turing universal sy
Dear Alex,
To add my 2 cents: Please note that it is your theory that the world of ideas
is described by “catastrophes” and it is Bruno’s theory that the world of ideas
is
described by the full Goedelian encoding of formal systems. In Bruno’s theory
the world of ideas are in ‘arithmetic’ in this
But Bruno, to harp on an old point,
"mathematicians (and their “dreams”)"
implies the world of 'ideas', and
as I have said, those are not in
the world of 'arithmetic', in the sense
that they are *not* described by
digital information,
but by catastrophes.
On 15 February 2018 at 15:14, Bruno March
> On 13 Feb 2018, at 04:46, mihir chakraborty wrote:
>
> Dear Friends,
>
> i did not enter the site --- but was not such numbering already done
> by great Goedel ? The so called Goedel numbering ?
Yes, good point. And that made possible the arithmetization of metamathematics,
which is a sort
Dear Friends,
i did not enter the site --- but was not such numbering already done
by great Goedel ? The so called Goedel numbering ?
mihir
On 2/11/18, Krassimir Markov wrote:
> Dear Karl and FIS colleagues,
> Yes, the Number Theory is very important basis!
> But, I think, there is no need to n