A Are Type Theory and Category Theory Viable Alternatives to Set Theory?

heff001
Messages
30
Reaction score
1
TL;DR Summary
Type and Category Theory
Are Type Theory and Category Theory alternatives to Set Theory?
 
Physics news on Phys.org
What do you think and why?
 
I am asking a question. What I think doesn't matter.
 
Alternative: second, different possibility; possibility of choosing between two or more things
heff001 said:
Are Type Theory and Category Theory alternatives to Set Theory?
Yes. Edit: Not as a substitution, but as something entirely different. As long as "Alternative, to what?" is unanswered, the only possible answer is: "Yes. it is something entirely different."
heff001 said:
I am asking a question. What I think doesn't matter.
Question answered, so we can close the thread.
 
Last edited:
  • Like
Likes heff001

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »
Thread 'Detail of Diagonalization Lemma'

Thread 'Detail of Diagonalization Lemma'

The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
View full post »

Similar threads

A The original definition of Category
Replies
45
Views
4K
I Basic Probability Theory Question about Lebesgue measure
Replies
14
Views
2K
B How helpful is probability theory?
Replies
4
Views
2K
A Is there a decidable set theory?
Replies
5
Views
2K
A Why Statistical Theories of Mental Test Scores?
Replies
4
Views
2K
Possible research directions for a beginner in TQFT
Replies
4
Views
2K
I Set Theory - the equivalence relation on elements
Replies
14
Views
2K
Category Theory - what is its current state?
Replies
2
Views
2K
I Category Theory and the Riemann Hypothesis
Replies
2
Views
2K
I May I use set theory to define the number of solutions of polynomials?
Replies
13
Views
2K

Hot Threads

Recent Insights

Back
Top