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

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,856
Website

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

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,856
Website

'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

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,856
Website

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

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,856
Website

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

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,856
Website

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

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,856
Website

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

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,856
Website

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