Profile

Cover photo
Pierre-Yves Gaillard
Works at University of Lorraine
Attended University of Geneve, Switzerland
Lives in Nancy, France
15,674 views
AboutPostsPhotosVideos

Stream

Pierre-Yves Gaillard

Shared publicly  - 
 
 
Caramello has a Controversy with some senior members of her field. She had the courage to go ahead and ask them for public reaction. Now she has gotten some replies and published them on her website [1]. An interesting read.

Andre Joyal in his reply [2] concludes:

Olivia Caramello shows a remarkable talent in discovering and bringing to light certain general aspects of mathematics. Her methodology “toposes as bridges” is a vast extension of Felix Klein’s Erlangen Program.

Maybe Olivia might take that as at least partial payoff for all the pain.

[1] http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html
[2] http://www.oliviacaramello.com/Unification/JoyalLetter.html
Unifying theory. Controversy with category theorists. Overview and results of the initiative of clarification. Introduction. Reasons why I have undertaken this initiative of clarification. The denigratory campaign. Reasons behind the denigratory campaign. A bit of history ...
94 comments on original post
1
Add a comment...
 
 
Le Centre International de Rencontres Mathématiques lance une "Bibliothèque Mathématique Audiovisuelle", une plateforme évoluée construite sur un corpus de conférences données par des mathématiciens du monde entier lors de leur passage au CIRM.  
Cette plateforme apporte toutes les fonctionnalités d'une recherche documentaire de haut niveau sur une base de films catalogués et enrichis. 

--------------------

The Centre International de Rencontres Mathématiques  is launching an 'Audiovisual Mathematics Library', a sophisticated platform built on a corpus of talks given by worldwide mathematicians during their stay at CIRM. This new tool provides the functionalities of a high level search applied to indexed and enriched videos.
 ·  Translate
View original post
1
Add a comment...
 
Voevodsky’s fascinating interview
10
4
Alok Tiwari's profile photoPeter Luschny's profile photo
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
Alors qu'il l'avait mis au coeur de sa stratégie pour tenter de l'imposer face à Facebook et Twitter, Google supprime progressivement les liens entre son réseau social
1
1
Peter Luschny's profile photo
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
 
Some very nice lecture notes by +Chandan Dalawat!

http://arxiv.org/abs/1404.4918

Title: Six lectures on quadratic reciprocity
Author: Chandan Singh Dalawat

Abstract: Rousseau's simple proof of the quadratic reciprocity law, followed by the proof of its equivalence with Hilbert's product formula.

#arXiv  
We gratefully acknowledge support from the Simons Foundation and member institutions · arXiv.org > math > arXiv:1404.4918. Search or Article-id. (Help | Advanced search). All papers, Titles, Authors, Abstracts, Full text, Help pages. Full-text links: Download: PDF · PostScript · Other formats ...
1 comment on original post
5
Oscar Vega's profile photo
 
Thanks!
Add a comment...
 
 
http://www.thebigquestions.com/nelson.PDF

This is a manuscript by the late Edward Nelson from three years ago which outlines his claim that Peano Arithmetic is an inconsistent theory. This claim was shown to be faulty [1], and Nelson withdrew his claim. However, I think it is interesting to look over this and see a) what ideas he thought could attack a system that is generally held to be consistent and b) where they fail (see [1]).

In any case, the ideas of complexity due to Chaitin and others seem to be appropriate to capture the idea of ultrafinitism, that large numbers are somehow too large. I'm curious to see if anything workable can be extracted from this outline.

[1] https://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039553

#mathematics    #ultrafinitism  
7 comments on original post
2
Add a comment...
 
 
Slides in three packets from the recent Paul Bernays Lectures at the ETH. The best introduction I have seen to Homotopy Type Theory.  
2014_Paul_Bernays_Lectures - 2014 Paul Bernays Lectures, September 9 and 10, 2014, Zurich
1 comment on original post
4
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
Dans quelques jours, 700 personnes sauteront dans un premier défi végane québécois. Le programme est inspiré de celui du "21 day vegan kickstart" du Physician Comitee for Responsible Medicine, trad...
1
Add a comment...

Pierre-Yves Gaillard

Shared publicly  - 
 
Dear +Jordan Ellenberg : in case you hadn't noticed...
 ·  Translate
Le mathématicien Jordan Ellenberg a créé une méthode, plus ludique que scientifique, pour savoir si les possesseurs de Kindle lisent les livres qu'ils achètent.
2
Add a comment...
People
Work
Occupation
Math. Prof.
Employment
  • University of Lorraine
    Math. Prof., present
  • various universities
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Nancy, France
Previously
Switzerland - Switzerland, USA, Canada, France
Contact Information
Home
Phone
33 3 83 56 48 03
Email
Address
3 rue d'Anvers, F-54500 Vandoeuvre, FRANCE
Story
Introduction
mathematician
Education
  • University of Geneve, Switzerland
Basic Information
Gender
Male
Links
Contributor to