Skip to main content

All Questions

6 votes
1 answer
395 views

Book that shows a construction of ZFC with Calculus of Constructions

Is there any book that teaches the basics of Type Theory and Calculus of Inductive Constructions (CIC) and also shows a construction of ZFC (or preferably NBG) in CIC? I only found the paper "...
rfloc's user avatar
  • 561
8 votes
0 answers
428 views

Does the book "Algebra III" exist (within the Encyclopaedia of Mathematical Sciences series from Springer)?

Within the series "Encyclopaedia of Mathematical Sciences", as published by Springer, one finds the 8 volumes, namely, the volumes I, II, IV, V, VI, VII, VIII, IX but zbMath has no listing ...
mathdude's user avatar
  • 131
2 votes
0 answers
160 views

"Equivalent" reference to "Quelques méthodes" by J-L. Lions

I've just started learning about some methods to deal with parabolic equations, and in a lot of papers they refer to the book "Quelques méthodes de résolution des problèmes aux limites non ...
tommy1996q's user avatar
8 votes
2 answers
568 views

Books/References for Inequalities that take advantage of orders

Are there any good references/papers/books that specifically address inequalities that take advantage of orders or monotonicity? I have already browsed through the classical Cauchy-Schwarz Master ...
rianko's user avatar
  • 81
3 votes
2 answers
1k views

What are your opinions on Zeidler's QFT books? [closed]

I am interested in mathematically rigorous treatment of quantum field theory, constructive QFT in particular. I have read 'QFT, A Tourist Guide for Mathematicians' and am going to read "Quantum ...
Isaac's user avatar
  • 3,113
18 votes
4 answers
2k views

Quirky, non-rigorous, yet inspiring, literature in mathematics

In contrast with such lucid, pedagogical, inspiring books such as Visualizing Complex Analysis by Needham and Introduction to Applied Mathematics by Strang, I've had the pleasure of coming across the ...
0 votes
0 answers
373 views

Mathematical Problems of General Relativity II

In the introduction of D. Christodoulou's book "Mathematical Problems of General Relativity I", he refers a few times to the second volume. My question is does it exists? Has it been (or will it be) ...
MBN's user avatar
  • 133
4 votes
2 answers
1k views

Reference request: Oldest linear algebra books with exercises?

Inspired by the recent success of my "soft question" here, I also have to ask, what are some of the oldest linear algebra books out there with exercises? I'm fine with or without solutions, either way....
13 votes
5 answers
3k views

Reference request: Oldest calculus, real analysis books with exercises?

Per the title, what are some of the oldest calculus, real analysis books out there with exercises? Maybe there are some hidden gems from before the 20th century out there. Edit. Unsolved exercises ...
1 vote
1 answer
696 views

State-of-the-art geometry book? [closed]

For my best friend's birthday, I am looking for a geometry book. He's currently doing his math PhD and is really fond of geometry, especially hyperbolic or higher-dimensional ones, also interested in (...
Clem's user avatar
  • 35
57 votes
16 answers
9k views

What are examples of books which teach the practice of mathematics?

One may classify the types of mathematics books written for students into two groups: books which merely teach mathematics (i.e., they present theorems and proofs, ready-made, as it were) and those ...
12 votes
1 answer
827 views

Are there any advanced level math audiobooks?

I am aware of a few interesting math podcasts but haven’t come across any interesting advanced math audiobook. Are there some?
Temp's user avatar
  • 137
42 votes
6 answers
3k views

What are good articles/books on the psychology of mathematical research?

I am thinking about advanced texts similar to Polya's 'How to solve it?'. Quite a few good articles of such a kind are published under Philosophy of Mathematics, but that dwells on a very different ...
15 votes
1 answer
920 views

Duistermaat and Kolk's lost chapters on Lie groups

In Duistermaat and Kolk's book Lie Groups, it is written in the preface that "the text contains references to chapters belonging to a future volume". I could not find this second volume anywhere. Has ...
wer's user avatar
  • 151
1 vote
2 answers
145 views

Distributional equations: reference request [closed]

I'm really having a hard time finding a book that covers distributional equations such as $xT = \delta(x)$ or distributional differential equations. Any suggestions?
mrnld's user avatar
  • 121

15 30 50 per page