New top story on Hacker News: Why do proof assistants use dependent type theory instead of set theory?

-
Why do proof assistants use dependent type theory instead of set theory?
19 by pgustafs | 0 comments on Hacker News.


Comments

Post a Comment

Popular posts from this blog

-
Image
Incomplete is important for living ... On hearing the incomplete word, there is a negative thought in mind.   Because this word itself shows a lack of life in itself.   But think that if this little loss is not there in life then life will not be reduced to life? If you pay attention, then the motivation inspired by the man to work is to reduce it.   Any steps, we take it only in the direction of filling this emptiness.   Psychologists say that there are some innate powers within a man who inspires him to go away from any negative emotion and choose the best option from the available options.   Anything that brings an imbalance in life, the man tries to take him towards the balance. If there is no shortage, there will be no need, no attraction will be needed, and if there is no attraction then there will be no goal.   If hunger does not look then there is no question of going to eat.   Therefore it is not right to see any defect in your li...
Read more