Sanjoy Nath's Geometric Junction Theory meets Sanjoy Nath's Geometrifying Trigonometry

Take any real number number x and sngt Sanjoy Nath's Geometrifying trigonometry takes it as 16 possible representations and all construction done from fixed L reference line segment now since cos sin tan sec cosec cot are used to construct all such 16 options of output line segments so all such output line segments length are transcendental (is not that???) now if we take n th power of x then final output line segments set has 16^(4n) equally possible output line segments and also lots lots lots of intermediate line segments since sequentially constructed non commutative multiplication glueing construction occurs at each stages in each bols bunch of line segments intermediate the bush which is large number of bols and it has a sharp outline always and it has a toe tip toe tip cumulative addition curve construction done and has a perimeter... And length ratio of this perimeter to length of L if constant then it needs to occur as transcendental? Pi independence guaranteed? Sanjoy Nat...

Discussion with AI  Is actual dialectic materialism  Think think think  Use prolog use CoQ first to understand what i am saying  Learn Frege to Godel  Then cohen forcing  Then understand how clarity of definition  Then understand how to create contexts (contexts are made up of terms,valid expression, deduction rules, induction rules,type checking,lambda calculus and its types,proofs,curry howard isomorphisms proofs means programs,data and their structures,how computer is computation? How answers are really valid answers and when a discussion is really a discourse??? If these are not clear to you then you are not human...  Being human means being reasonable...ligic is core of reasoning... If logic less discussion is there then it is not reasonable discussion... So your discussion is not humanly...it is animal like discussion if proofs are not involved in your discourse so discussion with AI is actually connected to materialistic systems with proofs...

To implement Sanjoy Nath’s Geometrifying Trigonometry (SNGT) using logic programming and interactive theorem proving (Prolog and Coq), you must translate his concept of "Bunch of Line Segments" (BOLS), "Locked Sets", and "Caliperness Gluing Rules" into formal code. [1, 2, 3] Because Coq and Prolog are entirely different environments, the industry standard workflow is a hybrid architecture: Use Prolog as the syntax parser/search engine to find valid geometric moves, and use Coq to formally prove that those moves maintain spatial truth (Caliperness invariants). [1, 3, 4] Step 1: Define the Abstract Syntax Tree (AST) in Coq First, you must teach Coq how to read trigonometric expressions as data, rather than evaluating them as numbers. [4] Define an inductive type for the terms. Ensure you have tokens for adding (gluing) and multiplying (scaling/orienting). [2, 3] (* Coq Definition *) Inductive Var : Type := | Theta | Phi | Delta. Inductive TrigExpr : Typ...

While Prolog and Coq are both rooted in formal logic, they serve entirely different purposes. Prolog is a declarative logic programming language designed to automatically solve problems using a built-in search engine. In contrast, Coq is an interactive theorem assistant designed to verify mathematical proofs and ensure software correctness. [1, 2, 3, 4, 5]  The fundamental difference lies in their approach to proof: Prolog acts as an automated solver that searches for answers using simple logic, whereas Coq acts as a proof checker that strictly validates complex mathematical arguments guided by a human. [2, 4, 6]   Core Comparison Sanjoy Nath 's geometrifying trigonometry | Feature [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16] | Prolog | Coq (Rocq) | Focus For Sanjoy Nath 's geometrifying trigonometry reasoning systems  | Primary Category | Logic Programming Language | Interactive Theorem Prover / Proof Assistant | | Core Philosophy | Tell the computer what is...

Speed dont depend on time Time is a vague concept Speed dont depend on time  Time is a vague concept  Lagranges least action is the clue  Where joule second is involved  Same in plank constant  This second is not unit of time  This second is inverse of frequency  Which means  Time is inverse of density of events  Whatever the event is... Count of event necessary to accomplish the section is important... Event quality is immaterial in quantum world...events relatedness is important event's asynchronous links determine speed of action... This speed dont depend on time... This speed is measure of how less numbers of events can accomplish the actions..... Its events count reduction optimization problem in permutations of rearrangement of asynchronous events in Sanjoy Nath's interpretations  Forget periodicity... Forget synchonousness... Simply consider a lump of events... Simply consider a bunch of events necessary to accomplish a complete ...