lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

64
active users

#constructive

0 posts0 participants0 posts today

Grim news out of Georgia with Fani Willis confirming the #destructive fact that she's personally and sexually involved with a man she added to the team of prosecutors investigating election interference. Ms. Willis had an enormous responsibility to do her job as perfectly as possible so as to bring this case to trial. Instead the case ballooned to involved nearly 20 people, leading to delays and, importantly, enormous legal fees all around.

She should step down from the case if not her position. Then a determination can be made as to whether the cases can be salvaged (probably not).

#constructive-destructive

Index of selected threads on #hott #constructive #math

* 2022/10/31. Proofs by contradiction.
mathstodon.xyz/@MartinEscardo/

* 2022/11/12. Synthetic topology of data types and classical spaces.
mathstodon.xyz/@MartinEscardo/

* 2022/11/14. Notions of space.
mathstodon.xyz/@MartinEscardo/

* 2022/11/16. Trichotomy of ordinals.
mathstodon.xyz/@MartinEscardo/

* 2022/11/22. Birthday present by Tom de Jong.
mathstodon.xyz/@MartinEscardo/

* 2022/11/23. Concrete example illustrating that constructive mathematics is more general than classical mathematics.
mathstodon.xyz/@MartinEscardo/

* 2022/12/01. Combinatorial game theory.
mathstodon.xyz/@MartinEscardo/

* 2022/12/08. Universe polymorphic type systems.
mathstodon.xyz/@MartinEscardo/

* 2022/12/08. Why cubical type theory, and why cubical Agda?
mathstodon.xyz/@MartinEscardo/

* 2022/12/20. The axiom of choice in HoTT/UF.
mathstodon.xyz/@MartinEscardo/

* 2022/12/22. A common generalization of the univalence axiom and the K axiom.
mathstodon.xyz/@MartinEscardo/

* 2023/02/03. Defining large numbers without using induction.
mathstodon.xyz/@MartinEscardo/

* 2023/02/10. Several kinds of categories in HoTT/UF.
mathstodon.xyz/@MartinEscardo/

* 2023/03/03. Universes in type theory as mathematical objects interesting in their own right.
mathstodon.xyz/@MartinEscardo/

* 2023/03/22. Playing rationally against irrational players.
mathstodon.xyz/@MartinEscardo/

* 2023/04/11. What are universes for in HoTT/UF?
mathstodon.xyz/@MartinEscardo/

* 2023/06/02. Ayberk's predicative version of the patch locale of a Stone locale.
mathstodon.xyz/@MartinEscardo/

* 2023/06/07. Github project TypeTopology.
mathstodon.xyz/@MartinEscardo/

* 2023/06/15. Constructive notions of disjunction.
mathstodon.xyz/@MartinEscardo/

* 2023/07/09. Trichotomy of the reals constructively.
mathstodon.xyz/@MartinEscardo/

1/

MathstodonMartin Escardo (@MartinEscardo@mathstodon.xyz)There is a heated discussion elsewhere about "proof by contradiction". There are two kinds of proof by contradiction. 1/

nytimes.com/2023/05/14/opinion

… Obviously written as a response to opinions expressed by Lawrence Tribe and Paul Krugman, Judge McConnell's important opinion piece conveniently dodges the key question of whether the president has an obligation to carry out statutes mandating the expenditure of money and whether the administration (Treasury Dept.) can pick and choose which obligations to pay, in the case of a shortfall.

To quote Judge McConnell's on Section 4 of the 14th Amendment (but leaving out his specifics about the Civil War): "The immediate purpose was to prevent future Congresses ... from repudiating pension obligations and other debts incurred ..."

I'm not a constitutional scholar but isn't that what the current MAGA Republican-controlled house is preparing to do IF it cannot compel the U.S. president to follow their new McCarthyism program?

#constructive-destructive

The New York TimesOpinion | The Case for Violating the Debt Limit Is Dangerous NonsenseBy Michael W. McConnell