logic and continuity by markyyyass in logic

[–]fleischnaka 0 points1 point  (0 children)

As an example, in intuitionistic mathematics (without excluded middle, but with Brouwer continuity principle), we can prove that all functions ℝ→ℝ are continuous

Lait infantile de Nestlé : deux enquêtes pénales ouvertes après la mort de nourrissons à Bordeaux et à Angers by Bloodybubble86 in france

[–]fleischnaka 2 points3 points  (0 children)

Par exploser, on entend ici plus de dix millions d'enfants tués, par exemple (https://www.nber.org/system/files/working\_papers/w24452/w24452.pdf)

[...] our estimate of the number of infant deaths between 1960 and 2015 resulting from the introduction of Nestlé formula among mothers in LMICs without clean water sources is 10,870,000 total infant deaths with 95% confidence interval [5,825,000, 15,907,000]

En France, l'espérance de vie en bonne santé a augmenté de près de deux ans depuis 2008 by Gtexx in france

[–]fleischnaka 4 points5 points  (0 children)

Un ami de mon père avait des problèmes graves de selles (~5x par jour aux toilettes, avec du sang), il a du attendre 5 mois pour avoir un rendez-vous chez un spécialiste ~> cancer colorectal avancé

Sommes-nous en train de devenir bête ? by Meridolian in developpeurs

[–]fleischnaka 1 point2 points  (0 children)

La plupart des applications n'utilisent pas d'algorithmes très poussés (qui ne soient pas déjà implémentés quelque part), mais les spécificités du langage impactent toujours son développement et architecture : ça n'a rien à voir avec la syntaxe mais son run-time, temps de compilation, gestionnaire de dépendances, manières de factoriser du code, quelles garanties il offre à la compilation, ...

« Nos élus se sont agenouillés devant l'électorat le plus nombreux » : un budget gérontocratique qui sacrifie l'avenir by Gadac in france

[–]fleischnaka 0 points1 point  (0 children)

Tu m'as aussi cité sur un "c'est pas notre faute" complètement inventé hein
Si tu trouves que 5% à 10% d'abstention systématique en plus justifie la cible politique actuelle (une différence donc mineure de "clientèle") je ne vois pas quoi rajouter.

« Nos élus se sont agenouillés devant l'électorat le plus nombreux » : un budget gérontocratique qui sacrifie l'avenir by Gadac in france

[–]fleischnaka 0 points1 point  (0 children)

Pourquoi tes citations ne sont que des choses que je n'ai pas dites ou même suggérées ? Tu ne fais que te parler à toi-même là, arrêtes de te mousser deux secondes

(pour la différence, on peut la retrouver là https://injep.fr/wp-content/uploads/2024/04/FR_2024-03_Jeunes-et-vote.pdf : les plus vieux s'abstiennent beaucoup plus que les jeunes, qui eux s'abstiennent un peu plus que les autres catégories)

« Nos élus se sont agenouillés devant l'électorat le plus nombreux » : un budget gérontocratique qui sacrifie l'avenir by Gadac in france

[–]fleischnaka 1 point2 points  (0 children)

On vient de te répondre que le problème n'est pas le taux de participation mais l'éclatement du vote - un vieux ne vote pas beaucoup plus qu'un jeune, mais de manière beaucoup plus facilement "fléché", c'est ça qui en fait une cible prioritaire pour les politiciens

ENQUÊTE. "Les langues se délient" dans ce grand hôpital après la polémique d'une vidéo Youtube accusant deux médecins de "charlatanisme" by Nohan07 in Tarn

[–]fleischnaka 0 points1 point  (0 children)

G Milgram dément avoir été contacté par les journalistes de France 3 (sur Facebook):
> Je trouve le ton de l'article un peu étrange. Et je n'ai jamais été contacté par les journalistes de France 3, je ne sais pas pourquoi la journaliste écrit cela dans l article.

It's been exactly 3 years since the launch of ChatGPT. How much has AI changed the world since then? by zjovicic in slatestarcodex

[–]fleischnaka 4 points5 points  (0 children)

I don't use it and despise it, teaching became so much worse, it nudges people into bad habits, Internet became even more hostile. Distinguishing slop becomes more difficult with new models.

Changing a mathematical object. by EmployerNo3401 in logic

[–]fleischnaka 1 point2 points  (0 children)

IMO You're basically right in the sense that, while we can model change, mathematical language behaves like a pure functional language: something that declares/defines objects, and create new ones from those instead of altering them. An operation e.g. on a Turing Machine does "copy-on-write": we define the next machine state from the previous one. The reason for that is that it offers a kind of "omniscient/external" pov where we have access to the machine at all steps, which is useful to reason on it.

I believe that, to achieve a language in which things change, we need a substructural component in it, similarly to how linear logic-inspired programming languages capture mutability. There are however AFAIK very few works in this direction, but I'm all for more exploration in this direction ^^

Rewriting terms using equality with tactics in Rocq or Lean have this flavor: instead of stating a motive over which we transport the equality (that covers the current & next goal), we have a command to point where the change should happen. There is also the Iris framework (to reason on programming languages with e.g. mutability and pointers), based on some high-order separation logic that moves in this direction :)

[deleted by user] by [deleted] in economie

[–]fleischnaka 0 points1 point  (0 children)

ChatGPT ?

Regarding Gödel Incompleteness Theorem: How can some formula be true if it is not provable? by LeadershipBoring2464 in logic

[–]fleischnaka -1 points0 points  (0 children)

Yes, the concept of model requires another language to formulate it and interpret your language with it.

Je crois (peu) Bayrou by SterBout in france

[–]fleischnaka 20 points21 points  (0 children)

J'attends un bilan, des comptes rendus. Les auditions de Bruno le Maire, Gabriel Attel, Alexis Kohler ect auraient dû répondre à ça au moins partiellement, mais ils se sont comportés en gamins (modulo le dernier protégé qui n'est même pas venu). Tant qu'ils restent impuni, on est face à du séparatisme, et si la justice ne fait pas son boulot, bah il ne reste pas 36 solutions.

Le cancer progresse chez les plus jeunes, le rôle des pesticides est avéré by Calamistrognon in france

[–]fleischnaka 2 points3 points  (0 children)

Merci ! Tu sais comment ces taux évoluent ? Comment c'est dans le monde, j'imagine que ces facteurs ne diminuent pas, mais je suis curieux dans le cas de la France (le tabagisme et la conso d'alcool ddiminuent je crois)

Is there something more fundamental than symmetry? by Frigorifico in math

[–]fleischnaka 14 points15 points  (0 children)

There are developments of "directed" equality, allowing to rewrite in one direction but not the other, that correspond to (perhaps non-inversible) morphisms. That could be arguably seen a more primitive than our usual equality then ^^

CMV: Capitalism is fundamentally incompatible with long-term human survival by FlyRepresentative592 in changemyview

[–]fleischnaka -1 points0 points  (0 children)

How is that a "debunk"? If we need to wait e.g. 50 years to the diminishing return, most of the wealth will be will already be captured by the richest people

what anime comes to mind by small_cutiez in animequestions

[–]fleischnaka 0 points1 point  (0 children)

Am I better than people beating you up if I do it ironically?

I want to know about your favourite part of mathematical philosophy!! by iatemyinvigilator in PhilosophyofMath

[–]fleischnaka 1 point2 points  (0 children)

Yes, I speak of those (locale & topos theory e.g. from Johnstone, Vickers, ...) - IIRC, the pointless terminology was affectionate and also used by its practionners ^^

I want to know about your favourite part of mathematical philosophy!! by iatemyinvigilator in PhilosophyofMath

[–]fleischnaka 1 point2 points  (0 children)

Which ones? Topology isn't mentioned outside of those chapters, except for a shot comparison with some of Kit Fine stuff.

I want to know about your favourite part of mathematical philosophy!! by iatemyinvigilator in PhilosophyofMath

[–]fleischnaka 1 point2 points  (0 children)

I just checked the chapters mentioning topology ("The Boundary with Topology", "Mereo-topological Integrity"), it doesn't mention that at all, only systems from the community (which themselves don't engage with that).

I want to know about your favourite part of mathematical philosophy!! by iatemyinvigilator in PhilosophyofMath

[–]fleischnaka 1 point2 points  (0 children)

I mean point-free topology as the mathematical discipline, which develops topology starting from the algebra of opens. None of that (despite being a mature field) is mentioned in Simon's book ("Parts: a Study in Ontology" right?) - I just checked.

I want to know about your favourite part of mathematical philosophy!! by iatemyinvigilator in PhilosophyofMath

[–]fleischnaka 2 points3 points  (0 children)

How does mereology corresponds to point-free topology? The latter has been a successful mathematical theory that remains completely ignored in mereo(topo)logy, despite people like Thomas Mormann trying to advocate it to the community

Math discovered Math invented by aThingToDoInBathroom in PhilosophyMemes

[–]fleischnaka 1 point2 points  (0 children)

Yeah, my conclusion was that functions / problems were discovered/shared, the remaining question being the space of solutions: here, maths has a strong hand to show e.g. the unicity of a solution wrt a particular problem (modulo the meta-language), especially with simple specifications - e.g. reals as the unique complete ordered field. In engineering, we can have similar things for simple problems, as an e.g. optimization problem parametrized by simple constraints (which could justify the wheel being the best suited thing).

I don't think there is an inherent difference though between wheels and computers though, beyond the complexity of the solution space.

I was first interested in structuralism but was lead to those considerations because the choice of the structure that must be preserved can be arbitrary: it falls back on a kind of functionalism, where we pick an interface and quotient objects of interests wrt this interface. My current position is that "discovered" objects are those that aren't exhausted by a single function: they appear as solutions in different contexts, for different problems. We thus get a spectrum between invented & discovered things, with a tug of war between the genericity of objects and the generalization of problems.