Recent Changes

Updates since 2015-03-18 18:19 UTC up to 2015-04-17 18:19 UTC

1 | 3 | 7 | 30 | 90 days
List all changes Include rollbacks Include minor changes
List later changes RSS RSS with pages RSS with pages and diff

2015-04-11

  • 19:41 UTC (new) (history) 2015-04-11 Proofs and refutations . . . . Marcin Borkowski No, I will not write about the famous book by Lakatos. I will write about proofs, or rather “proofs”, since what we see in math journals are often not really proofs. This week I read two texts by two different people, which confirm what I’ve been thinking for some time already. I have to say that reading through papers in math journals can be pretty frustrating. And it’s not because I’m stupid and can’t understand the proofs (well, this, too, sometimes), but the main reason is that there are so many published papers with errors.

2015-04-05

2015-04-04

2015-03-29

  • 00:41 UTC (new) (history) 2015-03-28 window-configuration-to-register . . . . Marcin Borkowski Most often I work on a netbook with a small screen. In such a situation every line is precious. That's why I eliminated most of unnecessary things like menu or toolbar from my Emacs. Still, sometimes I'm studying a function whose text barely fits in the limited room I have.

2015-03-21

More...

Filters