The 9th Amendment of the U.S. Constitution:
"The enumeration in the Constitution, of certain rights, shall not be construed to deny or disparage others retained by the people."

I always liked this one because it has a sort of mathematical "closure" property. It's not enough to say "this is the set of laws", it's more than that. You can't enumerate all of a person's rights, in effect.say

Legal scholars might argue that this amendment is practically useless, and use the 14th instead. Also the 10th amendment has basically given those rights to the States through precedent.

But I like the 9th. It has Mathematical Beauty, and shows that some laws are unknowable

Грядёт замена #wxMaxima ?
Оказывается в #KDE предлагается универсальный GUI для систем математики: #Cantor — https://apps.kde.org/cantor/

Заявленный перечень environments включает: #KAlgebra, #Maxima, #Sage, #Scilab, #Qalculate Т.е. полноценные, давно и хорошо известные системы computer algebra system (CAS) or symbolic algebra system (SAS).

Хотя это скорее дополнительный вариант, тем кто на #linux привык использовать #wxMaxima — https://wxmaxima-developers.github.io/wxmaxima Решает в алгебраическом виде уравнения и системы, численные вычисления, построение графиков. По возможностям близка к Maple и Mathematica.

Из забавного позволяет видеть графики в динамичном виде:


двумерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animations.mp4


трехмерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animation2.mp4

И в целом всё то, что потом перешло в питоновский Jupyter как notebooks:



#математика #машиннаяалгербра #mathematic #CAS #ComputerAlgebra @russian_mastodon@mastodon.social @ru@lor.sh @Russia@3zi.ru

Грядёт замена #wxMaxima ?
Оказывается в #KDE предлагается универсальный GUI для систем математики: #Cantor — https://apps.kde.org/cantor/

Заявленный перечень environments включает: #KAlgebra, #Maxima, #Sage, #Scilab, #Qalculate Т.е. полноценные, давно и хорошо известные системы computer algebra system (CAS) or symbolic algebra system (SAS).

Хотя это скорее дополнительный вариант, тем кто на #linux привык использовать #wxMaxima — https://wxmaxima-developers.github.io/wxmaxima Решает в алгебраическом виде уравнения и системы, численные вычисления, построение графиков. По возможностям близка к Maple и Mathematica.

Из забавного позволяет видеть графики в динамичном виде:

• двумерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animations.mp4

• трехмерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animation2.mp4

И в целом всё то, что потом перешло в питоновский Jupyter как notebooks:

#математика #машиннаяалгербра #mathematic #CAS #ComputerAlgebra @russian_mastodon @ru @Russia

@dmm

#Maths #Mathematics #Cantor may have created a ‘paradise’ for mathematicians but it is a flawed paradise.

Cantor ‘proved’ that ℚ is countable and that |ℚ| = |ℕ|. But… consider the set of dyadic numbers D where d ∈ D lies in the interval 0 - 1. These are the numbers 1/2, 1/4, 3/4, 1/8, 3/8, 5/8… (2^n -1)/2^n. D is a proper subset of ℚ and if we apply the rules of infinite sets, we would show that |D| = |ℕ|. But, there is a problem. …..1/3

If I'm really committed to the fact that there is no such thing as actual infinity - and I am: https://www.wisdomneverdies.com/blog/no-infinity -
then there are no actual irrational numbers. By Kronecker's Theorem then, all apparently chaotic behavior is ultimately periodic. An interesting corollary

Math poetry in progress- a cantor form:
#mathart #poetry #cantor #math

@Wolf480pl @grainloom @z428 @alcinnz @MatejLach @cbowdon

Imagine a wonderful future where spreadsheet like #UI is #homoiconic to a strongly typed #Lisp that is based on #Cantor set theory.