SI
SI
discoversearch

We've detected that you're using an ad content blocking browser plug-in or feature. Ads provide a critical source of revenue to the continued operation of Silicon Investor.  We ask that you disable ad blocking while on Silicon Investor in the best interests of our community.  If you are not using an ad blocker but are still receiving this message, make sure your browser's tracking protection is set to the 'standard' level.
Technology Stocks : AUTOHOME, Inc
ATHM 23.60+0.5%10:30 AM EST
 Public ReplyPrvt ReplyMark as Last ReadFilePrevious 10Next 10PreviousNext  
To: Frank A. Coluccio who wrote (17994)12/17/1999 1:28:00 AM
From: ahhaha  Read Replies (1) of 29970
 
Morse Code is elementary equivalent in a model theoretic sense to IP. It is also isomorphic in an algebraic sense. All computer oriented languages are necessarily so. They don't allow creativity between definiens and definiendum. Mechanical algorithmic languages are decidable since they are finite, but become undecidable in the power of the continuum when extended to include infinitely long sentences with recursively regular syntax. An acceptable infinite sentence looks like: one plus one equals two and one plus two equals three and... When you have an infinite set of these infinite sentences all of whose components are true, some one of these sentences is false or the decidability of the set is indeterminate. It is customary to hold to the latter conclusion.
Report TOU ViolationShare This Post
 Public ReplyPrvt ReplyMark as Last ReadFilePrevious 10Next 10PreviousNext  

HomeMailHotSubjectMarksPeopleMarksKeepersSettings
Terms Of UseContact UsCopyright/IP PolicyPrivacy PolicyAbout UsFAQAdvertise on SI
© 2025 Knight Sac Media.  Data provided by Twelve Data, Alpha Vantage, and CityFALCON News