Re:The Human Brain Can Create Structures in Up to 11 Dimensions
by panic on Saturday August 31, 2019 @08:50PM
(#20849801)
> A rigorous langauge is one which can be defined completely in a single document starting with 0 and 1 and working it's way all the way up to whatever it is you want to prove.
Is there a document like this for your tree notation? Not trying to criticize; I'm legitimately interested to see how this would be done.
Re:The Human Brain Can Create Structures in Up to 11 Dimensions
by breck on Saturday August 31, 2019 @10:09PM
(#20850118)
> Is there a document like this for your tree notation?
I wish. We have a lot of ongoing threads about it. Someone has one somewhere for logic gates, IIRC.
Here's a snippet from 1 from a conversation the other day on how to build up to an if statement.
0
1
2 10
...
i 01101001
...
f 01100110
...
if 1
2
The idea is we'd like to be able to compare 2 systems objectively and decide which is the simpler one.
Here's a rough paper from 2017 (before I had any experience in academia): https://github.com/treenotation/jtree/blob/master/papers/pap...
Let me define a "rigorous" language.
A rigorous langauge is one which can be defined completely in a single document starting with 0 and 1 and working it's way all the way up to whatever it is you want to prove.
> Graphs, and trees, have perfectly rigorous definitions. They've been defined in a plurality of rigorous languages.
If you can provide a link to a single page that starts with 0 and 1 and builds all the way up to defining "graphs and trees" and how a "triangle is not a tree", then I will agree with you.
> Interesting how you're overloading the word "tree" in this context.
Sorry, that was a typo, I meant to write Tree Notation. I'll fix.