pranomostro



Registration Date: 31-08-2015
Local Time: 21-09-2018 at 09:05 PM
Status: Offline
Send pranomostro a private message.

pranomostro's Forum Info
Joined: 31-08-2015
Last Visit: 10 hours ago 07:59 AM
Total Posts: 376 (0.34 posts per day | 2.38 percent of total posts)
(Find All ThreadsFind All Posts)
Time Spent Online: 1 Day, 17 Hours, 32 Minutes, 39 Seconds
Members Referred: 0

pranomostro's Contact Details
Homepage:
http://www.github.com/pranomostro
Email: Send pranomostro an email.
Additional Info About pranomostro
Operating System: Arch Linux, plan9
Bio: nta n m 1 = n + m
nm n m ar = foldr (nta (ar-1)) 1 (rep m n)

pranomostro's Signature
Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F. -- Kurt Gödel


Members  |  Stats  |  Night Mode  |  Help