When you ask the internet any #math question

https://youtube.com/watch?v=lkICVytxoTI

Readings shared March 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/24-readings_shared_03-24-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Lisp #LogicProgramming #MachineLearning #Math #Otter #Prolog #Prover9

Just because its turin complete and computable and can define bool/if-else, currying recursion, church numerals and exprs reduce correctly shouldnt mean that it can attribute a computational meaning to an otherwise absurd #math expression
Or should it?
My question is computational meaning even a thing ? If yes , how does that even relate to meaning applied math
I mean the count of 1 , 2, 3 can always be attributed to something g physically measurable
#theoreticalcomputerscience
-- noob

The thing is, we *do* use very large integers, because any binary file can be considered a single number, and often *is* for compression, encryption, and image manipulation purposes. I haven't had to write one of those algorithms in a few years, but it's always possible.

Reals are of course just a special case of integers parsed as IEEE (watch all physicists & "real" mathematicians' heads explode).

https://www.smbc-comics.com/comic/real-4
#math

Alt...

Why are they called the "real" numbers‽ Most of them are so long they can't have any practical physical meaning!

How to recognize artificial mathematical intelligence in theorem proving. ~ Markus Pantsar. https://link.springer.com/article/10.1007/s11245-025-10164-w #AI #Math #ITP

A delightful tribute: "Numbers" by Mary Collins. An excerpt:

"Even subtraction is never loss,
just addition somewhere else:
five sparrows take away two,
the two in someone else’s
garden now."

https://poetrying.wordpress.com/2014/11/12/numbers-mary-cornish/

#poetry #poem #poems #TodaysPoem #PoemADay #MaryCollins #numbers #math

are integers well ordered ?
#math

#Math question:

Given an expression:

R = k * A^x * B^y

Where R, A, B are known and k is constant, taking the log yields:

log(R) = log(k) + (x * log(A)) + (y * log(B))

I don't understand why it is the _sum_ of the logs on the left.

#askfedi

Fermat’s Last Theorem — how it’s going. ~ Kevin Buzzard (@xenaproject.bsky.social). https://xenaproject.wordpress.com/2024/12/11/fermats-last-theorem-how-its-going/ #ITP #LeanLang #Lean4 #Math