Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Agnishom
Real Member
From: Riemann Sphere
Registered: 2011-01-29
Posts: 24,843
Website

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

Board footer

Powered by FluxBB