Posts

discussion with AI is dialectic materialism like thing

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...
Post a Comment
Read more

prolog CoQ implementation of Sanjoy Nath's Geometrifying Trigonometry systems

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...
Post a Comment
Read more

prolog versus coq in sngt Sanjoy Nath's Geometrifying Trigonometry systems

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...
Post a Comment
Read more

speed dont depend on time...time is a vague concept

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 ...
Post a Comment
Read more