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

You are not logged in.

#1 Re: Dark Discussions at Cafe Infinity » 2015 UK General Election » 2017-04-25 04:05:43

bobbym wrote:

Lots of parties.

That's a good thing, right?

#3 Help Me ! » Binomial Coefficent Sums » 2017-04-25 01:18:34

Agnishom
Replies: 4

How do I prove this identity?

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

Is this him?

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

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

Oh right, Gopinath. I could look that up.

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

Is he amri from IMSc by any chance?

#8 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?

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

I will see you later then. Have fun cooking.

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

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

#11 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.

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

But then there were no upvotes either.

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

Because you are discouraged by the number of downvotes?

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

And start hiking instead?

#15 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.

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

That makes two of us!

Have you heard of Curry-Howard isomorphism?

#17 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

#19 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"

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

They are already publishing their opinions in their blogs and webpages

#22 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

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

I live in the Riemann Sphere

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

Hi;

What motivates people to study these numbers?

Board footer

Powered by FluxBB