Recent content by Srr

Oh yes, SDG is definitely not maintream but it does posses some very interesting features: intuitionistic logic, constructive proofs and of course those ##x\in D: x^2=0## which are: nihlipotent, non invertible and different from zero (if I got it this right). That's pretty much all there is in...

Nice, thanks much: all the points in the geometric line are contained in R. And so what about his comment in the foot note: 1.) why does he consider the elements written as 1+1, 1+1+1 for? 2.) are these elements in 1.) the only multiplicative invertible in R? what about the irrationals? are...

Hello! I just start looking at SDG and I'm already having difficulties with a few concepts as expressed by A Kock as: "We denote the line, with its commutative ring structure (relative to some fixed choice of 0 and 1) by the letter R" "The geometric line can, as soon as one chooses two...

Given a Schwarzschild BH. A neutron fall into the BH. The neutron having non zero magnetic moment will carry a magnetic field B with it. How do I describe the new system, on which parameters will the metric depend? In term of classical GR, Kerr Newman solution provides a B in term of the...