Questions tagged [paradox]
The paradox tag has no usage guidance.
4
questions with no upvoted or accepted answers
13
votes
0
answers
1k
views
Has anyone read/debunked Yessenin-Volpin–Hennix “Beware of the Gödel-Wette paradox”?
A student recently asked me about the status of a 2001 arXiv post, Beware of the Gödel-Wette paradox!, by Alexander Yessenin-Volpin (aka Esenin-Volpin and several other transliterations) and Catherine ...
4
votes
0
answers
376
views
Do you know any deep paradoxes or controversial hypothesis in category theory similar to those we have in set theory?
There is a lot of non-obvious and controversial topics and questions in set theory. From its begining in the first half of 20th century it have generated many paradoxes. For example there are ...
1
vote
0
answers
117
views
Logic which depends on the point of view / perspective? (Semantic space of logic)
I am not sure if this question is appropriate for MO, since I have only a basic understanding of Boolean logic, and am maybe not qualified to ask questions beyond that, but still I will try to write ...
0
votes
0
answers
189
views
What known paradoxes are associated with having a type-level tuple indexed by all ordinal numbers?
By a type-level tuple $t(f)$ that captures a function $f$, it is meant a relation that is definable by a stratified formula that assigns to $t(f)$ the same type it assigns to each element of the ...