grothenbiete

À propos…

Pseudo

grothenbiete

Inscrit

November 2017

Visites

0

Dernière connexion

October 2021

Statuts

Member

• Activité
• Discussions23
• Réponses275

Discussions

• Faut-il presser le bouton qui détruit tout ?

  Fermé 77 vues 0 réponses 0 points Créée par grothenbiete October 2021 Fondements et Logique
• Faut-il presser le bouton qui détruit tout ?

  Fermé 475 vues 1 réponse 0 points Dernier message par AD October 2021Shtam
• Théorie des types/logique catégorique/topos..

  960 vues 4 réponses 0 points Dernier message par Thierry Poma May 2021Livres, articles, revues, (...)
• théorie des types/logique catégorique/topos..

  33 vues 0 réponses 0 points Créée par grothenbiete May 2021 Algèbre
• Formalisme pour les $(\infty,1)$-catégories ?

  478 vues 1 réponse 0 points Dernier message par grothenbiete April 2021Algèbre
• Comment faire ces beaux diagrammes en LaTeX ?

  1.6K vues 2 réponses 0 points Dernier message par grothenbiete April 2021LaTeX
• Ce qui motive les catégories supérieures

  1.6K vues 4 réponses 0 points Dernier message par grothenbiete March 2021Histoire des Mathématiques
• L'univers est "indécidable"

  5.6K vues 26 réponses 0 points Dernier message par christophe c January 2021Fondements et Logique
• Références fondements mécanique quantique

  6.6K vues 21 réponses 0 points Dernier message par Héhéhé July 2020Fondements et Logique
• Parcours mixte math fonda/logique

  5K vues 15 réponses 0 points Dernier message par grothenbiete July 2020Fondements et Logique
• Généralité interprétation échantillon stat

  1.3K vues 2 réponses 0 points Dernier message par jma June 2020Statistiques
• Agacement formalisation de machine abstraite

  2.6K vues 6 réponses 0 points Dernier message par grothenbiete November 2019Fondements et Logique
• Des conseils sur le LMFI (master de logique)

  7K vues 19 réponses 0 points Dernier message par christophe c May 2019Fondements et Logique
• Problème bases des surfaces de Riemann

  1.9K vues 3 réponses 0 points Dernier message par grothenbiete March 2019Topologie
• Montrer qu’un certain espace quotient est T2

  1.9K vues 2 réponses 0 points Dernier message par grothenbiete March 2019Topologie
• Pour quelles raisons faites-vous des maths ?

  3.4K vues 5 réponses 0 points Dernier message par Blacksheep1 January 2019Vie du Forum et de ses membres
• Des astuces pour se concentrer/réfléchir +

  7.4K vues 21 réponses 0 points Dernier message par Flora November 2018Pédagogie, enseignement, orientation
• Les axiomes de l’économie

  Fermé 13.7K vues 44 réponses 0 points Dernier message par Bruno June 2018Fondements et Logique
• Pourquoi les espaces Lp sont des EVs ?

  5.9K vues 25 réponses 0 points Dernier message par Chalk February 2018Probabilités, théorie de la mesure
• La BCE doit financer le minage d’asteroide

  Fermé 1.5K vues 0 réponses 0 points Dernier message par Poirot February 2018Mathématiques et Société
• Par où commencer la logique ?

  72.2K vues 228 réponses 0 points Dernier message par Shah d'Ock December 2017Fondements et Logique
• Des techniques pour être moins dans la brume?

  2.4K vues 3 réponses 0 points Dernier message par grothenbiete December 2017Vie du Forum et de ses membres
• Axiomes de ces preuves convenables ?

  2.4K vues 6 réponses 0 points Dernier message par grothenbiete December 2017Fondements et Logique