4 ms·
Self-reference in logic is named after the ancient symbol Ouroboros, a dragon that continually consumes itself, denotes self-reference [0]. I found out about th
by seesawtron 6y ago
Self-reference in logic is named after the ancient symbol Ouroboros, a dragon that continually consumes itself, denotes self-reference [0]. I found out about this when reading about Russell's paradox [1]. The turn of the 19th century was an extraordinary time where logicians, mathematicians and philosophers "discovered" revolutionary ideas that we are still today trying to understand and find proofs [2].
[0] https://en.wikipedia.org/wiki/Self-reference#In_logic,_mathematics_and_computing https://en.wikipedia.org/wiki/Self-reference#In_logic,_mathe...
[1] https://en.wikipedia.org/wiki/Russell%27s_paradox https://en.wikipedia.org/wiki/Russell%27s_paradox
[2] https://en.wikipedia.org/wiki/History_of_mathematics#19th_century https://en.wikipedia.org/wiki/History_of_mathematics#19th_ce...
- deleted 6y ago[deleted]
- IngoBlechschmid 6y agoThe circularity supported in programming, that programs ("quines") can refer to their own source code, illustrates the same issue at heart. Yusuke Endoh created a tantalizing Ouroboros quine cycling through 128 languages: https://github.com/mame/quine-relay https://github.com/mame/quine-relay
- seesawtron 6y agoThis is crazy!