|
|
|
|
|
|
by Jweb_Guru
7 days ago
|
|
|
Ah, I didn't realize this was a generational thing. I am definitely a "new" intuitionist, so that probably greatly influences my perspective. I suppose that before results like this, the setoid model, etc. were known constructivism was indeed a much more hardline position to have to take! |
|
|