Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
Virgil
Posts:
4,482
Registered:
1/6/11
|
|
Re: Matheology � 210
Posted:
Feb 8, 2013 5:38 PM
|
|
In article <1bb84cad-6d02-40fc-bb22-26a49ddd87d6@p17g2000vbn.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 8 Feb., 19:41, Alan Smaill <sma...@SPAMinf.ed.ac.uk> wrote: > > > You miss the point as ever -- you are suggesting that > > intuitionists were bullied into making a claim that Hilbert et al > > did *not* accept, viz: > > They were forced to assert that subcountability in constructivism is > not in contradiction with uncountability in matheology.
Except that "matheology" does not exist anywhere outside of WM's braincase. who forced whom and how?
And in what way would they have wanted to claim that it is in contradiction? --
|
|
|
|