Yayy it's so exciting to be very near to end of domain knowledge study for the initial bnf. 

Initial Checklist:

Philosophy of linguistics --- read 

Linguistics authors for semantics and other topics of  syntactic universal analysis -- this is for later, after bnf. This is not done

Mt from halmos' book--- learnt (necessary enough chapters not all chapters) (best Mt book I ever seen by the way in my humble opinion)

Aa revising --- in middle

Mt from a lecture notes ---to be fastly accomplished for to stdy sme other topics not cvrd by othr Mt book. 

Then there comes bnf task. Yupp.

Topology or other math topics  is some other layers concern not urgently needed. Urgently needed layer is core mt-aa layer's grammars of various versions.  initially some basic layer is needed to be built.

But would initially  devise initially an unusual maths grammar. Among possible mny other grammars. Wishfully 0.1 version in this weekend.

Yayyy it's very exciting to build a project which might have even enable alternative physics frameworks  wth severely dffrnt cores/fundamentals wtr to existing ones.

----------

I think i find coding kind of smhw kind of a cool concept😉.and This time its my respnsblty to build very initial language😉 (frm existing conceptual frameworks of maths' some topics but to define a new grammar/unusual one to make this  task more challenging and more fun and less unintrstng).

Then coding matter& time topics  is one goal  tht wld be invstgtd in later stages after ai is sme level ready,  wth tryng to build alternative frameworks. 

It's a very exciting project🤩