Triangle of power: Difference between revisions
increased image size and put it center |
These transformations in ALDs? |
||
| Line 5: | Line 5: | ||
[[File:TriangleOfPower T-notation with-license+credits+links.svg|800px|thumb|center|Here is a sligt variation with a T notation. It could also be made into a symmetric Y i.e. an upside down "🟀"]] | [[File:TriangleOfPower T-notation with-license+credits+links.svg|800px|thumb|center|Here is a sligt variation with a T notation. It could also be made into a symmetric Y i.e. an upside down "🟀"]] | ||
== These transformations in [[annotated lambda diagram|ALDs]]? == | |||
{{todo|Investigate these directed acyclic graph (DAG) rewriting rules in the projection of [[annotated lambda diagrams]]}} <br> | |||
Anyone one up for this? Math has no preverred evaluation direction. | |||
'''Side-note:''' <br> | |||
Simplifying math as in a computer algebra system (CAS) <br> | |||
is more like relational/logical meta programming that straight forward purely functional programming and evaluation. <br> | |||
But before that random walk into all directions and ensuing combinatoric explosion <br> | |||
making heavily use of a tool-bag of heuristics for moving into an overall direction that is <br> | |||
one or more good simplified expressions. <br> | |||
== External links == | == External links == | ||
Latest revision as of 06:39, 29 July 2026
An interesting approach to math notation removing trifold redundancy
and making relations between transformation rules visible
that are completely obfuscated in conventional math notation.
These transformations in ALDs?
(TODO: Investigate these directed acyclic graph (DAG) rewriting rules in the projection of annotated lambda diagrams)
Anyone one up for this? Math has no preverred evaluation direction.
Side-note:
Simplifying math as in a computer algebra system (CAS)
is more like relational/logical meta programming that straight forward purely functional programming and evaluation.
But before that random walk into all directions and ensuing combinatoric explosion
making heavily use of a tool-bag of heuristics for moving into an overall direction that is
one or more good simplified expressions.
External links
Youtube – 2016 – 3Blue1Brown (Grant Sanderson) – Triangle of power
This original comes from an answer to a math exchange post by Alex Jordan, which you can find here:
https://math.stackexchange.com/questions/30046/alternative-notation-for-exponents-logs-and-roots
Here's a sketch from the math redditer Cosmologicon showing how this might be usual with practical space considerations:
http://i.imgur.com/hAeJokq.jpg
