#axioms — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #axioms, aggregated by home.social.
-
An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them.
https://math.codidact.com/posts/290943/291261#answer-291261
#Logic #Axioms #Mathematics #ProofTheory #HilbertSystems #ModalLogic #Research #Software
-
'Axiomatic effect propagation in structural causal models', by Raghav Singal, George Michailidis.
http://jmlr.org/papers/v25/22-0285.html
#causal #causality #axioms -
#StephenWolfram - Is #Mathematics #Invented or #Discovered?
https://www.youtube.com/watch?v=RlMMeqO7wOI
#Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn
-
Spaces and Times: Relativity Superluminal by Tamás Lajtner
In physics everything is based on some ancient opinions (axioms). What if some of them are false?
-
To add to the beauty and neatness of it all...
We only need 4 operations to represent any computable algorithm. 4 symbols.
Biology needs only 4 symbols to encode any organism.
We can *directly* encode our programs in DNA. If we ever get to a point of trying to bootstrap a programming language on top of wetware, this seems like a straightforward direction.
#lambdacalculus #axioms #foundation #computing #computerscience #primitive #mathematics #simple
-
What is still more beautiful about the definition of lambda calculus shown in https://jevko.github.io/writing/2023-07-23-revelation.html is that by employing prefix notation and explicit operators (in particular for application), we get rid of the notions of implicit operator precedence, no parentheses are needed to disambiguate anything -- it's all there in the definition. More simplicity and beauty. Less to explain to students.
#lambdacalculus #axioms #foundation #computing #computerscience #primitive #mathematics #simple
-
It is also quite beautiful how "constructing" indices using revelation and reference is similar to constructing natural numbers and also similar to constructing Church numerals. Everything seems to nicely line up on multiple levels. A certain self-similarity, a fractal structure of the whole thing is revealed.
This lining up and this structure is beautiful, elegant.
#lambdacalculus #axioms #foundation #computing #computerscience #primitive #mathematics #simple
-
Ad. https://jevko.github.io/writing/2023-07-23-revelation.html
The cool thing about reducing lambda calculus to 4 primitive operations and not using variable names or indices is that lambda calculus was supposed to be a system to describe the _foundations_ of computing/mathematics.
Starting with an infinite supply of arbitrary names or natural numbers always felt like cheating to me. The foundation should be as simple as possible.
#lambdacalculus #axioms #foundation #computing #computerscience #primitive #mathematics #simple
-
The #Distance Between #Numbers - #Numberphile
https://www.youtube.com/watch?v=Sgupo9DLMGs&ab_channel=Numberphile
#Math #Maths #Mathematics #Numbers #2Adic #2AdicMetric #RationalNumbers #RealNumbers #Limit #Infinity #Converge #Convergence #Diverge #Divergence #RecreationalMaths #RecreationalMathematics #Axiom #Axioms #Axiomatic
-
the workings of this universe seem to be much less confusing than the workings of the human mind
#existence #perspective #reality #axioms
ngrippel.com
-
the workings of this universe seem to be much less confusing than the workings of the human mind
#existence #perspective #reality #axioms
ngrippel.com
-
impermanence plagues existence
impermanence drives existence#existence #perspective #reality #axioms
ngrippel.com
-
-
Societies and leaders owe their citizens peace, justice and the possibility of creating a better life.
#existence #perspective #reality #axioms
ngrippel.com
-
fate is but the predictor of where inertia leads
#existence #perspective #reality #axioms
ngrippel.com
-
occasionally words will take unwanted prisoners
sometimes full disclosure will block the way in and out
#existence #perspective #reality #axioms
ngrippel.com
-
1/n
#Religion is shared #spiritual #belief perverted trough #politics and struggle for #authority over other people
#contemporary #pagan #culture should define basic #axioms for belief as #ethical standard.
e.g.
#anarchy
The struggle for might using tools like #racism #sexism #ableism should be rejected and replaced with #autonomy #communication and #cooperation#cosmopolitan
Thinking cosmopolitic rather than national focussed...