Are you sure? Consider a poem. The best formalist poetry (not counting free-form poetry) fits an incredible number of very difficult constraints and yet creates an intricate image without apparent effort. If that poem is then labelled with its metre by someone who understands that metre, and then you try to reproduce the same beauty and find you cannot, then that frustration commands a much higher respect for the author than merely witnessing the poem's beauty from afar (perhaps, for our metaphor's sake, in a language you don't even understand, thus making it nothing more than beautiful gibberish) and having no further insight into how it works.
I, for one, definitely prefer marvelling at the beauty of how something works and how intricate its assembly is, not just the image it creates from afar. That image is merely an illusion; more a part of your imagination and expectations than of the thing itself.
I don't think Chrome uses my Ubuntu keystore. It never asks for a password when opening Chrome, and it never requested access to the keystore. I'm using 12.04.
Godel set out an ontological proof for the existence of God which, like the earlier Saint Anselm proof that he built his on, boils down to "God exists because he is good, and good things must exist." In the Anselm proof, the 'good' quality is "greatness;" in Godel's, it's (moral) "positiveness." Such ontological proofs categorically rely on premises that are incompatible with empirical realism, and are ultimately circular. (Which is fairly ironic, as Descartes himself proposed one.)
I don't think it's fair to characterise his opinion of set logic as being a "failure," either; his theorems established limitations on what it could describe, and as a result helped precipitate the end of positivism, but to have the conviction to pursue such ideas he must have seen set theory as incomplete and accepted it that way to begin with. It's not that he thought it was a failure, it's that other people felt it was a failure after he showed them the truth about what it could and could not do. Gottlob Frege, Bertrand Russell, and many other prominent logicians had already been doing this for thirty years when Godel's big works were contributed.
He definitely was a little crazy, though—he starved to death, weighing less than half his healthy weight, obsessively paranoid that someone was trying to poison him.
As far as the physical laws of the universe go—keep in mind that the impact on science of Godel's work has been the acceptance that we may not know everything about the universe because we cannot detect it. If, once technology has reached its absolute maximum, we still cannot detect a phenomenon, then in all likelihood it will be something that does not affect us—otherwise we'd be able to detect its effect!
As far as we know, the human mind doesn't depend on any of that stuff, though. There's enough mystery about how the brain works, and we're making enough headway in figuring it out, that at present we're not even sure the quantum randomness implied by this weird story is required.
Remember, the universe is plenty capable of being beautiful even when it isn't inexplicable.
I think you're misunderstanding my use of the word "mechanism" here. I'm not saying there are fixed gears and circuits that explain how we work (there quite obviously aren't!), only that there are patterns, pathways, and systems behind the brain and hence the mind. There is a way in which the mind works, it's not some magic supernatural black box instilled by some indecisive buffoon on a cloud.
I'm a little weirded out by the "near-uniform" part, though. Do you truly believe that, placed in a situation with no new knowledge, you would consistently make significantly different choices? Most decisions are the results of our experiences and our immediate concerns; at best, the maximum variability in the outcome occurs when we fail to think things through. But as with catching your balance when you slip, it has been greatly beneficial to evolution to try to avoid screwing up (Hence why Larry Niven's contribution to the Crosstime series is bullshit.)
Granted, there is a tiny spot in our model of how the central nervous system works to allow for quantum randomness to interfere with otherwise completely deterministic decision-making (the transposon activity we discovered a couple years ago), but I personally would argue most arbitrary decisions come from reflecting on forgotten knowledge or memories, a little like "casting the runes" over uninitialized RAM to get a random number. (An example: what is the most random-sounding two-digit number you can think of, and why?)
But there are mechanisms for learning; mechanisms we know must exist and, to some extent, even understand. The subtleties in them form the foundation of who we are when we are conceived, and interplay with our experiences as life continues. They are the tie-breakers that prevent us from being completely at the mercy of our situations, and what ties us to our parents even if we have not met them.
What these people do is claim there is nothing more, and it is obvious they have no knowledge of cognitive science (or possibly other people). That is self-evidently wrong. But there's nothing inhuman about being a machine if that machine can learn, grow, and discover the universe. Would you deny personhood to an artificial intelligence with the same potential?
Say "twenty-three-skiddoo" to logout.