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

You are not logged in.

#1 Re: Help Me ! » Loaded Dice » Yesterday 16:38:14

I will see you later then. Have fun cooking.

#2 Re: Help Me ! » Loaded Dice » Yesterday 16:32:48

The third one seems like fun. What are we going to eat?

#3 Re: Help Me ! » Loaded Dice » Yesterday 16:20:51

Well, I do not think it is a good idea to consider any question to be foolish.

#4 Re: Help Me ! » Loaded Dice » Yesterday 16:16:12

But then there were no upvotes either.

#5 Re: Help Me ! » Loaded Dice » Yesterday 16:14:03

Because you are discouraged by the number of downvotes?

#6 Re: Help Me ! » Loaded Dice » Yesterday 16:10:53

And start hiking instead?

#7 Re: Help Me ! » Loaded Dice » Yesterday 16:06:27

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.

#8 Re: Help Me ! » Loaded Dice » Yesterday 16:01:22

That makes two of us!

Have you heard of Curry-Howard isomorphism?

#9 Re: Help Me ! » Loaded Dice » Yesterday 15:58:03

He is teaching Computer Science. Computer Science is the best!

By the way, proofs and programs are the same thing

#11 Re: Help Me ! » Loaded Dice » Yesterday 15:54:05

bobbym wrote:

Doron says a program is better than a proof.

Do you know what Curry-Howard Isomorphism is?

bobbym wrote:

Do teachers change their next lecture or do they teach the same proof as they did last year?

They do. Our Haskell prof offers a course called "Proofs and Types"

#13 Re: Help Me ! » Loaded Dice » Yesterday 15:43:23

They are already publishing their opinions in their blogs and webpages

#14 Re: This is Cool » Logic is the 50 thousandth best way? » Yesterday 15:42:08

You are missing out the Computer Scientists!

My point is that Wolfram's talk in many places just skips over the details. I'd like the full details of the talk

#15 Re: Help Me ! » Loaded Dice » Yesterday 15:34:23

I live in the Riemann Sphere

#17 Re: Euler Avenue » G Numbers or Gentle Numbers » Yesterday 15:11:21


What motivates people to study these numbers?

#18 Re: This is Cool » Logic is the 50 thousandth best way? » Yesterday 15:10:20

I get it, but he is not really backing up his argument with much. How did he arrive at the qualification of 50000? That cannot be just from out of the blue.

Once again, I'd like to see his complete thoughts on this, not just the point.

#19 Re: Help Me ! » Loaded Dice » Yesterday 15:07:49

Once in the mechanics class, our physics professor gave a very strange argument to claim that an expression is true.

I was perplexed and asked how that is a proof of anything?

He said, its a physicist's proof. A physicist understands that if this went wrong then something very weird would happen.

I asked, So you mean a verification?

He said, no, it's a legit proof. Keep in mind that a mathematician's idea of what a proof is, is different from what a physicist thinks a proof is.

#20 Re: Help Me ! » Loaded Dice » Yesterday 14:39:05

Well, what counts as a proof is subjective. However, for a formalist, it is less subjective.

#21 Re: This is Cool » Logic is the 50 thousandth best way? » Yesterday 14:35:36

I would be very disappointed at Wolfram, then. A man of his knowledge should know better than that.

Leaving that aside, do you not feel that the talk is dumbed down for laymen?

#23 Re: Coder's Corner » Java Installation » Yesterday 05:57:35

JDK is the development kit.

Please look here:

#24 Re: This is Cool » Logic is the 50 thousandth best way? » Yesterday 05:54:42

I am not ignoring what he said. In fact, I paid attention to it, which is why I am looking for the rest of it, so that I understand his complete thought

#25 Re: Help Me ! » Loaded Dice » Yesterday 05:49:57

Interesting. How does M know this?

Board footer

Powered by FluxBB