#inquiry

From inquiryintoinquiry.com

Signs Of Signs • 4

1 1

Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical&r…

#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations #higherordersignrelations

13h ago

From wordpress.com

Language about language

1 4

I’m cutting loose the “internal language” strand of the Gordian knot of the “No Comment” comment section.  Here is David Corfield’s last contribution: Regarding …

#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations #higherordersignrelations

13h ago

From oeis.org

Inquiry Driven Systems • Part 12 - OeisWiki

1 3

#logic #peirce #inquiry #semiotics #reflection #mathematics #signrelations #higherordersignrelations

on Tue, 5PM