Schlagwort-Archiv: Formalisierung

Wrongsuasion.

I have occasionally been able to be very persuasive even with wrong arguments.

Peter Scholze: Liquid tensor experiment

Emojism.

To express diversity as a "variant" is a reductive response to the complexity of identities and their representational needs.

Femke Snelting et al.: Feedback to Unicode PRI #321 -- Issues with modifier mechanism, UTS #52

A053764.

Nilpotent matrices over GF(3), gossip situations, it's all the same!

Rolling Gigainches.

... would require bits of storage, enough to fill 1500 reels of magnetic tape**

 

** 2400 foot reels, 6250 bits per inch

Randal E. Bryant: Symbolic Manipulation of Boolean Functions Using a Graphical Representation, 22nd Conference on Design Automation, 1985.

Non-trivial Bisimulation.

Ich bin nicht für die Homo-Ehe. Ich will dass jedeR heiraten darf.

ACC ⊂ INC

A conflict, then, is a contradiction where the acceptability region is located inside the incompatibility region.

Johan Galtung: Theories of Conflict

.

Keine Person kann sich an einem (allen Personen) unbekannten Ort aufhalten, es sei denn sie hat sich verlaufen.

Einen unbekannten Ort an sich gibt es nicht.

Ältere Beiträge «