Math Is Fun Forum

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

You are not logged in.

#26 Re: Maths Is Fun - Suggestions and Comments » Password recovery is not working. » 2024-08-04 15:43:22

Bob wrote:

Yes. I'll ask my PA, Matilda, to send you an email.

Bob

You have a personal assistant?

#27 This is Cool » The Steam Deck is not evil » 2024-08-04 15:40:46

Agnishom
Replies: 0

The Steam Deck is a gaming handheld, like the Nintendo Switch. I really like it. This is not because of the games I can play on it.

I like it because it doesn't try to curtail user agency, because it uses Linux

I wrote a blog post about this: https://isomorphism.xyz/blog/2024/steam-deck/

#28 Re: Help Me ! » Factorial of Decimal Number » 2024-08-04 15:26:24

I don't really recommend taking information from AI agents seriously. Wikipedia, books, blogs and static websites are a much better source.

Yes, the concept of Factorial is related to counting. But for certain purposes, it makes sense to extend it to real numbers (decimal numbers, as you call them). The Gamma Function is one such function.

#29 Re: Jokes » One liners - 218 » 2023-03-03 06:19:33

I can't seem to load smiles.com

Does it work for you?

#30 Computer Math » Interesting Software Tools for Computer Math » 2023-01-25 11:43:29

Agnishom
Replies: 1

Today 666bro sent me an email asking

666bro wrote:

I'm intended to learn mathematical softwares especially open source one which is the good one to start with?

Here is what I wrote back:

Here are some tools you could try learning. They are related to mathematics but they are very very different things.

(1) R for statistics: This is a useful tool for making plots and graphs for your data.
(2) Sage for computer algebra: This is a swiss army knife tool - equivalent to mathematica. Tutorial should give you some idea of what you can do with it.
(3) Lean for verified proofs: In Lean, you can write the proof of a theorem and get the computer to check that your proof is correct. Check out Learning Lean and especially the "Natural Numbers Game".
(4) Z3: Z3 is a general purpose reasoning tool that can be used to solve puzzles or check large scale formulas written in a certain language. Tutorial

#31 Re: Euler Avenue » What do you think is the worst way to learn mathematics? » 2022-10-10 06:44:54

Do lay-people really teach themselves mathematics using Bourbaki books?

#33 Re: Dark Discussions at Cafe Infinity » What interesting apps/webapps have you come across recently? » 2022-01-16 17:36:09

Yes, Quora is very interesting. I spend a lot of time on Quora.

Have you heard of Nebula? It is a website where creators upload youtube style videos. However, it is not open to all like youtube, only invited creators post content.

#34 Dark Discussions at Cafe Infinity » What interesting apps/webapps have you come across recently? » 2022-01-11 15:54:12

Agnishom
Replies: 8

Here is a list I have:

1. Notion
2. Slowly
3. What 3 Words

What have you found?

#35 Coder's Corner » Tic Tac Toe with Haskell and Crash Course » 2022-01-11 15:51:01

Agnishom
Replies: 0

Hello all;

Please check out my Tic Tac Toe Tutorial with Haskell.

I also have 7 lecture crash course: https://agnishom.github.io/haskell-21/

#36 Re: Maths Is Fun - Suggestions and Comments » Do the Administraters ever ask for help? » 2021-08-17 11:57:25

That is interesing. I am glad that the administrators have a growth mentality and are trying to learn new things. This certainly makes for a great morale in this community. smile

#37 Re: Maths Is Fun - Suggestions and Comments » Do the Administraters ever ask for help? » 2021-08-09 07:42:14

jabah013.307 wrote:

Hi,
I have been questioning for ages but can it be possible for an Administrater to ask help from the Members and the Real Members? I have been reading all the posts but not even one administrater has even asked for help.

That is an interesting observation. I guess this either means that the administrators are not really hunting problems in the wild, or that they do not believe that members of this forum will be able to help them in what they need help with.

#38 Re: Help Me ! » A challenge for Coders/programmers » 2021-02-02 06:08:40

There are an infinitude of pairs (x,y,z). How can we brute force all of them?

#39 Re: Help Me ! » Probability » 2021-02-02 06:06:39

Probability is one of those things where it is very easy to convince yourself of something which is not true. I strongly suggest working out every step with full rigor.

Please explain with an example.

If you have a specific thing that you'd require clarification on, please post that.

By the way, I received your message on keybase. And I sent a reply.

#40 Re: Coder's Corner » Basic Common Lisp » 2020-09-16 03:58:07

Hi pi_cubed;

I am a big fan of functional programming myself.

Have you taken a look at Haskell? I suspect that you might find this language way more interesting and elegant!

#42 Re: This is Cool » Formal Methods in Mathematics / Lean Together 2020 » 2020-07-03 12:38:57

I am glad you asked. I think a good start would be to look at the Software Foundations book. Volume 1 is very interesting. You can download Coq and start working through it.

Kevin Buzzard, a mathematician who is very interested in formal methods is also working on a Natural Number Game. I have not played this game myself, though.

As for prerequisites, some experience with coding and logic will help.

#43 Re: Euler Avenue » Would certain 3D objects be viewed as impossible in 4D? » 2020-07-03 12:36:15

Bob Bundy,

the impossible cube and the hypercube are different examples, right?

#45 Re: Euler Avenue » Would certain 3D objects be viewed as impossible in 4D? » 2020-07-03 01:37:06

pi_cubed wrote:

Certain 2d objects, such as the penrose triangle, are possible in 2d but not in 3d. My question is, are certain 3d objects impossible in 4d, and what are they?

There are no nontrivial knots in 4 dimensions. so any way you twist a piece of string and glue it in 4 dimensions, it can be unknoted.

#46 Re: Maths Is Fun - Suggestions and Comments » This forum has been really inactive lately... » 2020-07-03 01:33:06

I posted a thread about "Formal Methods in Mathematics" but nobody seemed to be bothered

#47 Re: Dark Discussions at Cafe Infinity » Who was Anthony R. Brown? » 2020-07-03 01:29:40

Mathegocart wrote:

He's (most likely) mentally ill. He posts on about his chess engine on Youtube, which only works by SEVERELY handicapping Stockfish.

Also, I published a topic about his recent behavior.

Hmm, you found the wrong guy on twitter

#49 Re: Introductions » Hello from Maine, USA » 2020-07-02 01:18:50

Looks like the mods have cleaned it up

Board footer

Powered by FluxBB