{id=sagittarius-a-star}
{c}
{tag=Black hole}
{title2=Black hole in center of Milky Way}
{title2=27 kly}
{wiki}


Sagittarius A*

Nupedia

Ciro Santilli's father

Geographic information system

Lucas-Lehmer primality test

{c}
{wiki}

https://knowyourmeme.com/memes/rickroll


Rickrolling

Waldorf education

Projective plane

{title2=$\Q$}
{title2=$\frac{1}{2}$, $\frac{4}{3}$}
{wiki}

= Rational
{synonym}

= Rationals
{synonym}


Rational number

{title2=$\R$}
{wiki}

= Real
{synonym}

A good definition is by using <Dedekind cuts>.


Real number

Simulation

Ikigai

Software bibliography

{c}
{wiki}

<Ciro Santilli>'s accounts: <Ciro Santilli's Twitter accounts>{full}.


Twitter

Chemical vapor deposition

Quantum Information course of the University of Oxford Hilary 2023 <span class="meta">/</span> 1 <span class="meta">/</span> 1

* 2023-12: <New York Times> vs <OpenAI>: https://www.wsj.com/tech/ai/new-york-times-sues-microsoft-and-openai-alleging-copyright-infringement-fd85e1c4
* 2023-02: Getty Images vs Stable Diffusion: https://www.theverge.com/2023/2/6/23587393/ai-art-copyright-lawsuit-getty-images-stable-diffusion


Training machine learning on copyrighted data

{wiki}

This is the part of the <formalization of mathematics> that deals only with the propositions.

In some systems, e.g. including <Metamath>, <modus ponens> alone tends to be enough, everything else can be defined based on it.


Ciro Santilli @cirosantilli 37