Home | Community | Message Board


This site includes paid links. Please support our sponsors.


Welcome to the Shroomery Message Board! You are experiencing a small sample of what the site has to offer. Please login or register to post messages and view our exclusive members-only content. You'll gain access to additional forums, file attachments, board customizations, encrypted private messages, and much more!

Unfolding Nature Shop: Unfolding Nature: Being in the Implicate Order

Jump to first unread post Pages: 1
Offlineillusionsofman
Stranger
 User Gallery
Registered: 01/09/09
Posts: 272
Last seen: 11 years, 2 months
I believe I have a stronger argument than Roger Penrose that human mathematical thought is non-compu
    #12893056 - 07/13/10 02:03 PM (13 years, 8 months ago)

I believe I have a stronger argument than Roger Penrose that human mathematical thought is non-computable.

The human brain is a machine so suppose we have a machine that proves theorems and is equivalent to human mathematical intuition. When fed a paper into the machine it answers either yes, no or undecidable. Every computer is computably enumerable.  Consider The following two postulates:

A) This machine corresponds to the computer N.
B) When fed a question the machine does not give false results.

Suppose we feed into the machine the following string of symbols replacing the symbol N with the exact number:

ASSUMING THE COMPUTER N DOES NOT GIVE FALSE ANSWERS, IF THE COMPUTER IS FED THE STRING OF SYMBOLS GIVEN NOW, WILL THE COMPUTER SAY NO?

We see now that one of the two postulates must be false.

Edited by illusionsofman (07/13/10 02:04 PM)

Extras: Filter Print Post Top
OfflineAmber_Glow
Sat Chit Anand


Registered: 09/02/02
Posts: 1,543
Last seen: 11 years, 29 days
Re: I believe I have a stronger argument than Roger Penrose that human mathematical thought is non-compu [Re: illusionsofman]
    #12893132 - 07/13/10 02:22 PM (13 years, 8 months ago)

Huh? 

Reminds me of John Searle's Chinese room

Although I'm not really sure what you are saying.

Extras: Filter Print Post Top
Offlinelaserpig
Weedmaster_P

Registered: 04/28/09
Posts: 7,468
Last seen: 11 years, 10 months
Re: I believe I have a stronger argument than Roger Penrose that human mathematical thought is non-compu [Re: Amber_Glow]
    #12893349 - 07/13/10 03:11 PM (13 years, 8 months ago)

Searle is a retard, but let's not get into that.

OP, what you're saying is almost identical to an explanation I've heard of Goedel's incompleteness theorem (in the book I Am A Strange Loop).

Basically you're 100% correct -- as far as anyone knows, no matter how your computational symbol-manipulation system is constructed, there will always be meaningful statements which cannot be resolved due to self-reference.


--------------------
Weedmaster P knows the truth.

Extras: Filter Print Post Top
Offlineillusionsofman
Stranger
 User Gallery
Registered: 01/09/09
Posts: 272
Last seen: 11 years, 2 months
Re: I believe I have a stronger argument than Roger Penrose that human mathematical thought is non-compu [Re: laserpig]
    #14317771 - 04/19/11 02:26 PM (12 years, 11 months ago)

I been thinking a lot about Roger Penroseā€™s excellent books and I agree that it would be at least very difficult to build a computer that was more intelligent that a human but I think it would not be impossible. If he is saying that the set of all halting problems the community of human mathematicians can become perfectly certain about is infinite non computable and correct I disagree for the simple reason that if you break a proof down into its most individual basic steps each step would be less that a trillion number of pages long and thus computable. Perhaps we can discover theorem proving machines that are smarter than humans by just taking random Turing machines connected to a main computer running a video game tournament. Consider a five second interval of human conscious existence. This includes thoughts both conscious and subconscious memory retrieval and sensory perceptions. I would argue that for a restricted amount of intelligence the number of distinguishable intervals will be finite although it may be in the trillions. Do you think it would be infinite? Now suppose that in all that exists a machine is built that can produce any one of these intervals. Suppose it produces every one of these intervals- the order does not matter. Thus every possible human life would be produced. The only explaination for why we do not see non-sensical things like monsters coming out of the ground and why we see an order to our world is that in all that exists such a machine is never built perhaps for ethical reasons. This may provide proof that a computer cant posses conciousness. By modeling the brain humans in the future might be able to enumerate all these intervals on a computer and perhaps using biological matter connected to a computer build a machine that can simulate a chosen interval. Now just consider the subset of intervals in which the person is wearing magic rings on their fingers. From this set use a quantum experiment to randomly choose an interval, determine if that interval is aesthetically pleasing and if it it build a machine to simulate it and know that in parallel universes all other aestetically pleasing intervals will be chosen and simulated. Than by placing these magic rings on you would enter heaven.

Extras: Filter Print Post Top
Offlinesynapz
pee on flowing lava = fail
Male

Registered: 04/14/11
Posts: 80
Last seen: 12 years, 11 months
Re: I believe I have a stronger argument than Roger Penrose that human mathematical thought is non-compu [Re: illusionsofman]
    #14318000 - 04/19/11 03:06 PM (12 years, 11 months ago)

squiggles

nothing but squiggles

ripples, crashing into land

sounds made

noises muttered

ideas, concepts, holding hands ,

speak of reality they do

touch reality, know reality, affect reality, describe reality

they do not.


--------------------

Oh Snapz

Extras: Filter Print Post Top
Jump to top Pages: 1

Unfolding Nature Shop: Unfolding Nature: Being in the Implicate Order


Similar ThreadsPosterViewsRepliesLast post
* Humans are out of balance with earth......NOT!!!
( 1 2 all )
atomikfunksoldier 2,921 37 06/16/03 01:43 PM
by infidelGOD
* mathematics:human discovery or invention? *DELETED*
( 1 2 3 4 all )
0toxic0 5,650 60 08/08/03 02:14 PM
by Diploid
* Truth in the Ontological Argument or Syntax Games chemkid 1,324 13 12/25/03 10:21 AM
by Anonymous
* Logic, Emotion, Mathematics, and the Universe
( 1 2 3 all )
Anonymous 5,476 47 02/23/04 07:29 AM
by raytrace
* Do Basic Human Morals Exist
( 1 2 all )
mrfreedom 5,096 24 05/28/02 07:55 AM
by Sclorch
* Argument by Design Bullfrog1 1,627 10 12/09/07 07:38 PM
by Holly
* When Does Human Life Begin?
( 1 2 3 4 5 all )
Anonymous 9,774 81 08/10/02 05:27 AM
by Anonymous
* A Sound Argument for Free Will shroomydan 2,833 17 10/11/04 08:21 PM
by deff

Extra information
You cannot start new topics / You cannot reply to topics
HTML is disabled / BBCode is enabled
Moderator: Middleman, DividedQuantum
587 topic views. 1 members, 6 guests and 14 web crawlers are browsing this forum.
[ Show Images Only | Sort by Score | Print Topic ]
Search this thread:

Copyright 1997-2024 Mind Media. Some rights reserved.

Generated in 0.026 seconds spending 0.007 seconds on 14 queries.