Schlagwort-Archiv: Formalisierung


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

Peter Scholze: Liquid tensor experiment


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


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.


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 «