Amour intellectuel de Dieu : science universelle ou mathesis universalis

https://espacehott.wordpress.com/2023/03/18/de-legalite-mathesis-universalis-amour-intellectuel-de-dieu-jeu-des-perles-de-verre/

https://espacehott.wordpress.com/2022/12/31/mathesis-universalis-amor-dei-intellectualis-glassperlenspiel/

Posted in Cochet-Brunschvicg, Philosophie, Science-internelle | Comments Off on Amour intellectuel de Dieu : science universelle ou mathesis universalis

Une nouvelle mathématique ?

https://espacehott.wordpress.com/2022/07/15/hott-la-dialectique-de-lun-une-nouvelle-mathematique-2/

Posted in Philosophie | Comments Off on Une nouvelle mathématique ?

mathesis universalis = Amor Dei intellectualis

Posted in Philosophie | Comments Off on mathesis universalis = Amor Dei intellectualis

Les trois mondes de Roger Penrose

Posted in Philosophie | Comments Off on Les trois mondes de Roger Penrose

Notes for “Class forcing and topos theory”

theHigherGeometer

A few years back I gave a talk at the IHES (video), for the conference Topos à l’IHÉS. After much procrastination, I have finally dragged my notes for that talk into a reasonable form.

David Michael Roberts, Class forcing and topos theory, talk notes (2018) doi:10.4225/55/5b2252e3092af

Abstract: It is well-known that forcing over a model of material set theory corresponds to taking sheaves over a small site (a poset, a complete Boolean algebra, and so on). One phenomenon that occurs is that given a small site, all new subsets created are smaller than a fixed bound depending on the size of the site. There is a more general notion of forcing invented by Easton to create new subsets of arbitrarily large sets, namely class forcing, where one starts with a partially ordered class. The existing theory of class forcing is entirely classical, with no corresponding intuitionist theory…

View original post 213 more words

Posted in Philosophie | Comments Off on Notes for “Class forcing and topos theory”

The Quantum Theory of Proto-Consciousness: a Critique and some Perspectives

HoTT science internelle

« Roger Penrose » Paramecia are organisms composed of a single cell. They can swim, find food, mate, reproduce, remember their past experiences, …

The Quantum Theory of Proto-Consciousness: a Critique and some Perspectives

View original post

Posted in Philosophie | Comments Off on The Quantum Theory of Proto-Consciousness: a Critique and some Perspectives

A counterexample to the periodic tiling conjecture

What's new

Rachel Greenfeld and I have just uploaded to the arXiv our paper “A counterexample to the periodic tiling conjecture“. This is the full version of the result I announced on this blog a few months ago, in which we disprove the periodic tiling conjecture of Grnbaum-Shephard and Lagarias-Wang. The paper took a little longer than expected to finish, due to a technical issue that we did not realize at the time of the announcement that required a workaround.

In more detail: the original strategy, as described in the announcement, was to build a “tiling language” that was capable of encoding a certain “$latex {p}&fg=000000$-adic Sudoku puzzle”, and then show that the latter type of puzzle had only non-periodic solutions if $latex {p}&fg=000000$ was a sufficiently large prime. As it turns out, the second half of this strategy worked out, but there was an issue in the…

View original post 839 more words

Posted in Philosophie | Comments Off on A counterexample to the periodic tiling conjecture

Trying out Mathstodon

What's new

It’s been a while since I’ve actively participated in social media outside of this blog – I was active in Google Buzz/Google+ for a while, until that service closed – but I’ve decided to try out Mathstodon, one of the servers of the open source social media software platform Mastodon. As I understand it, Mastodon functions in many ways similar to the significantly more well-known platform Twitter, but is decentralized into a federation of servers that share content with each other but can have their own moderation rules and add-ons. For instance, the Mathstodon server has the additional feature of supporting LaTeX in its posts. Another consequence of this decentralization is that if one for some reason ends up disagreeing with the administration of the server one is in, one has the option of transferring one’s account to a different server while staying on the same platform.

View original post 45 more words

Posted in Philosophie | Comments Off on Trying out Mathstodon

Clifford D. Simak & Pierre Boulle, par Renaud Garcia (Bibliothèque verte de Pièces et main-d’œuvre)

This gallery contains 2 photos.

Originally posted on Les Amis de Bartleby:
Version imprimable de Clifford D. Simak et Pierre Boulle Clifford D. Simak & Pierre Boulle Notre Bibliothèque Verte n° 49 et 50 Mis en ligne par Pièces et main d’œuvre sur leur site…

More Galleries

Bravo ! Le héros de la liberté Elon Musk rétablit le compte de Donald Trump sur Twitter

Posted in Philosophie | Comments Off on Bravo ! Le héros de la liberté Elon Musk rétablit le compte de Donald Trump sur Twitter