Math Is Fun Forum

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

You are not logged in.

#2 Re: Coder's Corner » Windows or Linux? » 2025-02-16 11:35:43

That's great. It must be a lot of fun!

#3 Re: This is Cool » My Thesis » 2025-02-16 11:34:13

Thanks for your kind words, Bob!

I am glad to see that the forum is still functioning and every now and then people pop in to discuss mathematics. Several years ago, I would spend hours everyday chatting around on the forum

#4 Re: This is Cool » srđan math » 2025-02-15 16:27:24

Isn't the underline operator just the absolute value, then?

#5 This is Cool » My Thesis » 2025-02-15 16:24:45

Agnishom
Replies: 2

You can find my thesis here: Link

It's about stating and proving theorems about regular expressions and temporal logic using a proof assistant

#6 Re: Coder's Corner » Windows or Linux? » 2025-02-15 16:21:50

How did it go? I think using Ubuntu for coding should actually work pretty well

#7 Re: Coder's Corner » Windows or Linux? » 2024-12-14 01:39:05

Sounds like a good idea. What do you plan to use your laptop for?

#8 Re: Coder's Corner » Windows or Linux? » 2024-12-13 19:39:42

That's interesting. For a short time, I used Puppy Linux because I did not have enough internet data to download Ubuntu

#9 This is Cool » Living Car Free in Houston, Texas » 2024-12-13 14:57:43

Agnishom
Replies: 0

I lived car free in Houston for 5 years, and I wrote a long-winded blogpost about it: https://isomorphism.xyz/blog/2024/car-free-houston/

It turns out that the US has a policy of designing their urban infrastructure to accomodate drivers in cars or other motor vehicles rather than pedestrians. This is so ingrained in their urban design that often it is very hard for people to live an enjoyable life without a car.

This might be a cultural difference, but I think that this is a morally reprehensible cultural choice and should be condemned.

#10 Re: Introductions » Sokoban » 2024-12-13 14:52:04

In the sokoban puzzle, you have a grid with boxes and walls. You have to push the boxes from one spot to another. In the west, it might be better known as "pushbox" or something

#11 Re: Coder's Corner » Windows or Linux? » 2024-12-13 14:50:48

How did you find out about Antix Linux? I have never heard of it

#12 Re: Introductions » Sokoban » 2024-09-25 17:43:51

Sokoban is quite interesting. I am not sure that there is a "Standard" set of levels though.

Have you played "Baba is You"?

#13 Re: Help Me ! » Prove 2n is always even etc » 2024-08-20 17:47:11

Bob wrote:

In "Elementary Real and Complex Analysis" by Shilov, numbers of the form 2n are defined as even, and 2n+1 as odd.  These definitions arise early in the axiom list, so you could certainly say they are axioms. 

Your proof is therefore enough.  I would add a little:

Let n be any integer. Then n + 1 is the next integer, so n and n+1 are consecutive.

Adding them gives n + n + 1 = 2n + 1 which is odd from the definition of an odd number.

Bob

I agree with Bob here: the words are necessary; without the words, you have a soup of algebraic expressions

#15 Re: Introductions » Any 10th grader here? » 2024-08-20 17:44:19

No, I am not Christian.

Sorry to ask, but are you American?

#16 Re: Introductions » Any 10th grader here? » 2024-08-06 06:08:08

I hope you are enjoying it. Which programming language are you learning?

#17 Re: Maths Is Fun - Suggestions and Comments » Password recovery is not working. » 2024-08-06 06:06:03

I admire your effort to set up a working sundial.

For now, I will stick to my primitive ways of using a battery-powered wrist-watch.

#18 Re: Introductions » Any 10th grader here? » 2024-08-05 15:07:46

From where I am, the last two years of high school math were definitely more challenging. The real tragedy was that you had to be prepared to be able to do a lot of different problems very quickly in the exam.

The tenth grade math was alright, though.

Did you do anything fun during the summer?

#19 Re: Maths Is Fun - Suggestions and Comments » Password recovery is not working. » 2024-08-05 01:56:10

Okay!

It is great to see that you are sticking around and helping people on the forum smile

How is everything going?

#20 Re: Guestbook » do people still use this forum » 2024-08-04 16:15:34

I come back to this forum once in a while, and post some random things. It is a great place to hang out on the internet. Especially so if we are talking about the platforms that are not owned by for-profit corporations

#21 Re: Introductions » Howdy from Texas! » 2024-08-04 16:11:45

Hey, I have lived in Houston too, for the last 5 years.

#22 Re: Introductions » Any 10th grader here? » 2024-08-04 16:10:35

I am not a tenth grader, but when I was a tenth grader, I was here. Welcome to the forum.

#23 Re: Maths Teaching Resources » Math For Dummies Series » 2024-08-04 16:07:08

I think it is an interesting concept. I am just skeptical that a big franchise with so many books will actually write good books for all of those topics

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

#25 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/

Board footer

Powered by FluxBB