All of math can be done without any words ... it just gets annoying to read
for instance, all math can be formalized in this sort of manner http://www.cs.miami.edu/~tptp/MizarTPTP/TPTPProofs/arithm/arithm__t1_arithm and the words in there like v1_ordinal1(B) could be replaced with v1_1234(B) or whatever, and it wouldn't make any difference... ben On Tue, Oct 28, 2008 at 2:10 PM, Mike Tintner <[EMAIL PROTECTED]>wrote: > Ben, > > What are the mathematical or logical signs for "normal number"/ "rational > number"? My assumption would be that neither logic nor maths can be done > without some language attached - such as the term "rational number" - but > I'm asking from extensive ignorance. > > Ben:yes > > MT:MW:"Pi is a normal number" is decidable by arithmetic > > >> because each of the terms has meaning in arithmetic >> >> Can it be expressed in purely mathematical terms/signs without using >> language? >> >> >> >> > ------------------------------ > *agi* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/> | > Modify<https://www.listbox.com/member/?&;>Your Subscription > <http://www.listbox.com> > -- Ben Goertzel, PhD CEO, Novamente LLC and Biomind LLC Director of Research, SIAI [EMAIL PROTECTED] "A human being should be able to change a diaper, plan an invasion, butcher a hog, conn a ship, design a building, write a sonnet, balance accounts, build a wall, set a bone, comfort the dying, take orders, give orders, cooperate, act alone, solve equations, analyze a new problem, pitch manure, program a computer, cook a tasty meal, fight efficiently, die gallantly. Specialization is for insects." -- Robert Heinlein ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
