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

You are not logged in.

#2 Re: Maths Teaching Resources » Maths Books » 2017-04-08 16:29:47

Is this him?

https://www.linkedin.com/in/gopinath-a-r-470727101/

#3 Re: Maths Teaching Resources » Maths Books » 2017-04-08 16:26:17

Oh right, Gopinath. I could look that up.

#4 Re: Maths Teaching Resources » Maths Books » 2017-04-08 16:21:39

Is he amri from IMSc by any chance?

#5 Re: Maths Teaching Resources » Maths Books » 2017-04-08 16:14:38

Hmm, where does gAr teach?

Is it possible that I have met him already?

#6 Re: Help Me ! » Loaded Dice » 2017-03-27 16:38:14

I will see you later then. Have fun cooking.

#7 Re: Help Me ! » Loaded Dice » 2017-03-27 16:32:48

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

#8 Re: Help Me ! » Loaded Dice » 2017-03-27 16:20:51

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

#9 Re: Help Me ! » Loaded Dice » 2017-03-27 16:16:12

But then there were no upvotes either.

#10 Re: Help Me ! » Loaded Dice » 2017-03-27 16:14:03

Because you are discouraged by the number of downvotes?

#11 Re: Help Me ! » Loaded Dice » 2017-03-27 16:10:53

And start hiking instead?

#12 Re: Help Me ! » Loaded Dice » 2017-03-27 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.

#13 Re: Help Me ! » Loaded Dice » 2017-03-27 16:01:22

That makes two of us!

Have you heard of Curry-Howard isomorphism?

#14 Re: Help Me ! » Loaded Dice » 2017-03-27 15:58:03

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

By the way, proofs and programs are the same thing

#16 Re: Help Me ! » Loaded Dice » 2017-03-27 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"

#18 Re: Help Me ! » Loaded Dice » 2017-03-27 15:43:23

They are already publishing their opinions in their blogs and webpages

#19 Re: This is Cool » Logic is the 50 thousandth best way? » 2017-03-27 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

#20 Re: Help Me ! » Loaded Dice » 2017-03-27 15:34:23

I live in the Riemann Sphere

#22 Re: Euler Avenue » G Numbers or Gentle Numbers » 2017-03-27 15:11:21

Hi;

What motivates people to study these numbers?

#23 Re: This is Cool » Logic is the 50 thousandth best way? » 2017-03-27 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.

#24 Re: Help Me ! » Loaded Dice » 2017-03-27 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.

#25 Re: Help Me ! » Loaded Dice » 2017-03-27 14:39:05

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

Board footer

Powered by FluxBB