Math Is Fun Forum
You are not logged in.
- Topics: Active | Unanswered
#26 2017-03-27 16:04:27
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
By the way, proofs and programs are the same thing
I do my math in that way but I would not say that.
Have you heard of Curry-Howard isomorphism?
I have not.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#27 2017-03-27 16:06:27
Re: Loaded Dice
Curry-Howard Isomorphism is a formal idea which tells you that proofs and programs are the exact same thing. The idea is based on constructivism/intuitionism.
Last edited by Agnishom (2017-03-27 16:07:26)
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#28 2017-03-27 16:07:49
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
I will look it up and if true I will stop programming.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#29 2017-03-27 16:10:53
Re: Loaded Dice
And start hiking instead?
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#30 2017-03-27 16:12:36
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
That is a coincidence. I was going to answer a question on night hiking over there at the SE but changed my mind.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#31 2017-03-27 16:14:03
Re: Loaded Dice
Because you are discouraged by the number of downvotes?
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#32 2017-03-27 16:15:02
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
I did not post the answer so there were no downvotes.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#33 2017-03-27 16:16:12
Re: Loaded Dice
But then there were no upvotes either.
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#34 2017-03-27 16:18:32
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
It is a foolish question in my opinion and I amazed that anyone would ask it. But everyone over there considers himself an expert so there is little use in trying to change an experts mind.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#35 2017-03-27 16:20:51
Re: Loaded Dice
Well, I do not think it is a good idea to consider any question to be foolish.
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#36 2017-03-27 16:22:28
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
Should I put my face into the fire? Should I jump out of a plane without a parachute and see if I can fly? Should I eat until I explode? There are foolish questions.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#37 2017-03-27 16:32:48
Re: Loaded Dice
The third one seems like fun. What are we going to eat?
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#38 2017-03-27 16:37:53
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
I do not have anything ready, I have to cook it.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
#39 2017-03-27 16:38:14
Re: Loaded Dice
I will see you later then. Have fun cooking.
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
#40 2017-03-27 16:38:38
- bobbym
- bumpkin
- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 109,606
Re: Loaded Dice
Okay, see you later.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline