Model Of Theory @ModelOfTheory

ZFC, THIS. Joined July 2016

Tweets

2K
Followers

1K
Following

459
Likes

1K

Model Of Theory @ModelOfTheory

2 months ago

A 1-Lipschitz function *:C×C→C (where C is Cantor space with d(x,y)=2^-n when x & y have the first n but not n+1 bits in common, and C×C carries the L∞ metric), such that x*(y*z) = (x*y)*(x*z), and ∃1∈C: f(x):=x*1 satisfies d(x,fⁿ(x))=2^-ν₂(n), where ν₂ counts factors of 2

0 0 1 172 1

Model Of Theory @ModelOfTheory

3 months ago

Placebo AI alignment: Convince the action predictor that you've aligned it (nevermind how) when it's predicting what actions it will take.

0 1 2 182 0

Model Of Theory @ModelOfTheory

4 months ago

Averting the Oxygen Catastrophe with a Pigouvian tax on oxygen emissions

0 0 1 173 0

Model Of Theory @ModelOfTheory

4 months ago

The L1 norm of (1 meter, 1 kilogram) is 1 meter + 1 kilogram. Its L2 norm is sqrt(1 meter^2 + 1 kilogram^2). Its L infinity norm is... wait, that can't be right.

0 0 3 345 1

Model Of Theory @ModelOfTheory

4 months ago

0 meters = 0 kilograms

0 0 3 159 1

Model Of Theory @ModelOfTheory

4 months ago

Finitely-generated torsion modules over a discrete valuation ring are classified by partitions.

0 0 1 188 1

Model Of Theory @ModelOfTheory

4 months ago

The probability that a random n by n matrix over the field with q elements is invertible converges as n goes to infinity to a power series in q^-1, with most coefficients 0, and the rest +/- 1.

0 0 0 143 0

Model Of Theory @ModelOfTheory

4 months ago

Extrapolating from the use of copper, silver, and gold for coins of increasing value, it was proposed to mint coins of even higher value from roentgenium, though this was eventually rejected as impractical.

0 0 0 118 0

Model Of Theory @ModelOfTheory

5 months ago

The more finely you categorize something, the rarer it becomes.

0 1 3 153 1

Model Of Theory @ModelOfTheory

8 months ago

Historian in the setting of a science fiction novel: "Weird how this early twenty-first century science fiction novel so accurately predicts current events."

0 2 10 262 1

Model Of Theory @ModelOfTheory

8 months ago

left-adjoint to the forgetful functor from finite groups of exponent n to finite sets

0 0 0 194 0

Model Of Theory @ModelOfTheory

8 months ago

Hello. My name is Inigo Montoya. You- oh, the AI just rendered your hand wrong? Okay, nevermind. We're cool.

0 0 2 170 0

Model Of Theory @ModelOfTheory

9 months ago

A valued field induces a functor from a linear order to the category of totally disconnected topological spaces. The linear order is the space of Dedekind cuts of the value group.

0 0 2 267 0

Model Of Theory @ModelOfTheory

9 months ago

the smallest sigma-algebra containing the open sets and closed under forward images under Borel functions

0 0 0 244 0

Model Of Theory @ModelOfTheory

10 months ago

There are metric versions of imperial units (metric ton, metric cup). One could also define imperial versions of metric units. e.g. 1 imperial centimeter = 2/5 inches; 1 imperial kilometer = 5/8 miles = 99,000 imperial centimeters.

0 0 1 284 0

Model Of Theory @ModelOfTheory

12 months ago

Solar mills are much like windmills, use solar radiation pressure to turn the blades instead of wind. They are used in places with lots of light and little air.

0 0 1 224 0

Model Of Theory @ModelOfTheory

a year ago

powers of a matrix : power-sum symmetric functions :: exterior powers of a matrix : elementary symmetric functions :: symmetric powers of a matrix : complete homogeneous symmetric functions