Hvor går matematik?

Hvor går matematik?

Brian Davies,
Professor i matematik, London Kings College

  • introduktion
  • Bevis ved brug af en computer
  • Formelt bevis for beviser
  • Enkle endelige grupper
  • Aritmetisk konsistens
  • diskussion
  • referencer

Brian Davis (Foto fra www.mth.kcl.ac.uk)

Artiklen blev offentliggjort i tidsskriftet Notices of the American Mathematical Society, december 2005, vol. 52, nr. 11.

Oprindelig artikel (PDF, 447 KB).

Udgivet på russisk for første gang – med den typiske tilladelse fra forfatteren og bladets redaktører.

Editors redaktører takker matematikprofessor Yuri Safarov for værdifulde kommentarer til den russiske oversættelse af artiklen.

Se også Brian Davis: "Hvor går matematik?" ("Elements", 14. november 2005).

Tak

Forfatteren er taknemmelig for M. Aschbacher og S. A. R. Hoare for værdifulde råd.


Like this post? Please share to your friends:
Skriv et svar

;-) :| :x :twisted: :smile: :shock: :sad: :roll: :razz: :oops: :o :mrgreen: :lol: :idea: :grin: :evil: :cry: :cool: :arrow: :???: :?: :!: