Theorem of the Day (April 17, 2025) : Gödel’s First Incompleteness Theorem
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/LogicAndComputerScience/Godel/TotDGodel.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#74
Hello math fans,
Here is a new hectoc challenge for you:
249546
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Maths Prompt : un site web qui vous aide à rédiger vos prompts pour créer des exercices, problèmes, TP, évaluations, QCM ou exercices de révision en mathématiques! Plus qu’à coller dans une IA et le tour est joué !
Hébergé sur la forge de @apps
Encore un projet libre en éducation!
https://applis_maths_sciences.forge.apps.education.fr/exerciseur_maths/
#Math fact that doesn't sound right when you first hear it:
The difference of two functions (of x) can grow to infinity while x -> infinity, yet their ratio can go to 1.
Why it's interesting:
We usually think that if the difference of two things goes to zero, they become identical. Yet, we also think that for if the ratio of two things goes to 1. So this looks paradoxical.
Hello math fans,
The hectoc of the hour is:
885322
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
From: blenderdumbass . org
When I started with Dani's Race I thought that the extend of my programming will be something like dynamically changing the speed of a car and maybe loading and unloading certain things on the map based on the distance from them. But quickly it became a mind-field of math and other programming cleverness. A...
Read or listen: https://blenderdumbass.org/articles/gamedev_make_you_better_at_math
#Gamedev #DanisRace #Math #Programming #Python #UPBGE #Blender3d #GNU #Linux #GamingOnLinux #FreeSoftware #OpenSource
Greetings fellow humans,
Your hourly hectoc is here:
741843
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Ever tried finding the side of a square plot that's 20 m²?
You need √20 ≈ 4.47m — not a number that’s easy to do in your head.
That’s why square roots matter.
From geometry to physics, even everyday tasks like DIY or budgeting — square roots turn complexity into clarity.
But when numbers get messy, don't waste time guessing.
Use this 👉 Square Root Calculator — it’s fast, accurate, and works for decimals & big numbers.
I wish I knew it sooner
#math #squareroot #calculator #allthetools
Dear mental calculators,
Here is a new hectoc challenge for you:
121584
The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".
Have fun! Your hourly hectoc bot
by @seism0saurus
Paysages Mathématiques
Hourly Hectoc Bot
Vschoeffter
JindrⒶ, your locally Euclidean anarchist
Blender Dumbass ( J.Y.Amihud )
All The Tools Official
José A. Alonso