Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This was possibly a hapless user clicking on the requested link to an entry of this name at Markov’s principle.
I have cleared the entry Kripke’s schema and then added two references with further pointers. Hopefully an expert sees this here and finds a minute to add a sentence or two of actual content.
I added some more structure and context.
Although I did not overemphasize the choice sequence motivation, as I’m also not sure how niche these are at the present point in time - as genuine philosophy that guides people in adopting such axioms.
I am mostly interested in those set-to-sequence (and sequence-to-sequence) principles in the negative, as being some of the weakest principles that spoil computable/recursive interpretation of “function.”
Let’s hyperlink “school of Brouwer” (either to intuitionism or at least to L.E.J. Brouwer).
Thanks!
I have now also hyperlinked propositions, sequences and constructive logic. (Though I see that, for better or worse, “constructive logic” currently just redirects to “intuitionistic mathematics”, too.)
There’s also the page “constructive mathematics” which, is probably the more general variant.
I don’t spot where this diff rendering goes astray, but it is certainly true, for the time being, that our history pages etc. don’t use the updated engine that renders the live pages. I suspect this might get fixed later this year when Richard has migrated the installation.
1 to 10 of 10