wu :: forums « wu :: forums - The 10^n riddle from GEB » Welcome, Guest. Please Login or Register. Nov 30th, 2024, 1:25pm

RIDDLES SITE WRITE MATH! Home Help Search Members Login Register

wu :: forums    riddles    putnam exam (pure math) (Moderators: SMQ, william wu, Icarus, Grimbal, towr, Eigenray)    The 10^n riddle from GEB « Previous topic | Next topic » Pages: 1  Reply Notify of replies Send Topic Print    Author  Topic: The 10^n riddle from GEB  (Read 1598 times) Yair Guest The 10^n riddle from GEB   « on: Jun 29th, 2005, 5:37am » Quote Modify Remove In more words, the puzzle is to represent the notion "m is a power of 10" in the TNT formal system, as presented in the book "Godel, Escher, Bach".     The book says it's quite difficult and requires good knowledge of number theory. After having spent many ours trying to solve it myself, I sort of gave up and went looking for a solution online. However, the closest I came to finding it was some broken link to a usenet post which presumably contained the solution  . However, the linking page did say that the solution utilized the Chinese Remainder Theorem.   Also, I have another, more general Formal Logic/GEB-related question: What is the proof that every primitive-recursive procedure (that is, a bounded loop) is represented by a TNT formula? IP Logged towr wu::riddles Moderator Uberpuzzler Some people are average, some are just mean.     Gender: Posts: 13730 Re: The 10^n riddle from GEB   « Reply #1 on: Jun 29th, 2005, 7:44am » Quote Modify for the power of 10 question, try http://www.its.caltech.edu/~boozer/symbols/language.html about 2/3 down the page. IP Logged Wikipedia, Google, Mathworld, Integer sequence DB Yair Guest Re: The 10^n riddle from GEB   « Reply #2 on: Jun 29th, 2005, 12:55pm » Quote Modify Remove Thanks a lot!   BTW the same page also contains the outline of an answer to my second question. IP Logged Pages: 1  Reply Notify of replies Send Topic Print Forum Jump: ----------------------------- riddles -----------------------------  - easy   - medium   - hard   - what am i   - what happened   - microsoft   - cs => putnam exam (pure math)   - suggestions, help, and FAQ   - general problem-solving / chatting / whatever ----------------------------- general -----------------------------  - guestbook   - truth   - complex analysis   - wanted   - psychology   - chinese « Previous topic | Next topic »

Powered by YaBB 1 Gold - SP 1.4!
Forum software copyright © 2000-2004 Yet another Bulletin Board