You are not logged in.
Yes. I'll ask my PA, Matilda, to send you an email.
Bob
You have a personal assistant?
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/
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.
I can't seem to load smiles.com
Does it work for you?
Today 666bro sent me an email asking
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
Do lay-people really teach themselves mathematics using Bourbaki books?
What is NCTM KenKen? I couldn't find it by a google search
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.
Here is a list I have:
1. Notion
2. Slowly
3. What 3 Words
What have you found?
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/
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.
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.
There are an infinitude of pairs (x,y,z). How can we brute force all of them?
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.
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!
I agree with Alon Amit. This saddens me a little
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.
Bob Bundy,
the impossible cube and the hypercube are different examples, right?
What is a matchbox computer?
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.
I posted a thread about "Formal Methods in Mathematics" but nobody seemed to be bothered
I think he was a jerk
Looks like the mods have cleaned it up
We can make them active again by posting there, right?