_index.org

grammar

Last edited: August 8, 2025

A grammar is a set of logical rules that form a language. (more precisely defined in goals of a grammar)

goals of a grammar

  • explain natural languages in syntax + semantics
  • have described algebras which can be used to evolve the syntax
  • …that describe the grammatical operations

The formalism here is that a rigorous grammar should have:

  1. semantic accountability
  2. generativity

Graph Isomorphism is in NP

Last edited: August 8, 2025

Recall the definition of graph : if you can relabel \(G\) to get \(G’\), that they are the same up to relabling.

\begin{equation} \text{GISO} = \qty {\langle G,G’ \rangle \mid G \cong G’} \end{equation}

Because the prover can just give the relabeling.

gravitational entanglement

Last edited: August 8, 2025

Using constructor theory to test whether or not gravity in quantum theory is just entanglement.

This solves problem with gravity.

gravitational potential energy

Last edited: August 8, 2025

Great Depression

Last edited: August 8, 2025

The Great Depression is a period of time of American depression.