!IszrsfByANdzBAFrai:matrix.org

General Mathematics

23 Members
Mathematical material of general interest, topics not covered elsewhere || part of the +mathematics:matrix.org community4 Servers

Load older messages


SenderMessageTime
14 Mar 2021
@helagon:matrix.org@helagon:matrix.org joined the room.10:06:35
@s3k:matrix.orgs3k joined the room.12:56:54
@helagon:matrix.org@helagon:matrix.org joined the room.17:58:12
15 Mar 2021
@thosgood:matrix.orgTim it depends a lot on the author as to how dry a text is 20:43:56
@thosgood:matrix.orgTimdry texts are very useful as reference books, but not so great to learn from as a beginner; the opposite is true for "wet" texts20:44:27
@helagon:matrix.org@helagon:matrix.orgRedacted or Malformed Event20:54:14
@quantumanon:matrix.orgQuantum Things like the stacks project and Kerodon are doing interesting things wrto interface design for teaching things 20:55:25
@quantumanon:matrix.orgQuantum * Things like the stacks project and Kerodon are doing interesting things wrto interface design for teaching things20:55:44
@quantumanon:matrix.orgQuantum * Things like the stacks project and Kerodon are doing interesting things wrto interface design for teaching things 20:56:17
@quantumanon:matrix.orgQuantum I think they're a lot closer to the API references you mentioned Helagon 20:59:38
@helagon:matrix.org@helagon:matrix.orgRedacted or Malformed Event21:01:07
@helagon:matrix.org@helagon:matrix.orgRedacted or Malformed Event21:01:41
16 Mar 2021
@quantumanon:matrix.orgQuantum I think we're a few years away from that. Moreover, while it's certainly possible to write most proofs down in pure ZFC (which is probably the best candidate for what I assume you mean by a unified API), I don't think it's actually useful. 09:46:11
@quantumanon:matrix.orgQuantum
In reply to @helagon:matrix.org
Yes. Though a unified one. Not like there're disagreements on axiomatic stuff as in software or politics.
* I think we're a few years away from that. It's certainly possible to write most proofs down in pure ZFC (which is probably the best candidate for what I assume you mean by a unified API), but I don't think it's actually useful.
09:46:39
@quantumanon:matrix.orgQuantumI think the current method of learning the language of whatever field you want to work in, perhaps using category theory as a meta-language to describe useful design patterns, and then just going on to prove things works well enough.09:47:14
@quantumanon:matrix.orgQuantum * I think we're a few years away from that. Moreover, while it's certainly possible to write most proofs down in pure ZFC (which is probably the best candidate for what I assume you mean by a unified API), but I don't think it's actually useful. 10:58:27
@quantumanon:matrix.orgQuantum * I think we're a few years away from that. Moreover, while it's certainly possible to write most proofs down in pure ZFC (which is probably the best candidate for what I assume you mean by a unified API), I don't think it's actually useful. 10:58:37
@helagon:matrix.org@helagon:matrix.orgRedacted or Malformed Event13:31:56
@helagon:matrix.org@helagon:matrix.orgRedacted or Malformed Event13:32:16
18 Mar 2021
@helagon:matrix.org@helagon:matrix.org left the room.14:18:40
22 Mar 2021
@thethe:matrix.orgthethe joined the room.11:41:51
@addem:matrix.orgaddem joined the room.18:01:01
@moltylollipop:matrix.orgmoltylollipop changed their profile picture.19:43:06
23 Mar 2021
@nyanyaweh:matrix.orgnyanyaweh joined the room.07:10:01
14 Apr 2021
@meff:sunadokei.partymeff joined the room.21:07:38
@voyager:t2bot.ioMatrix Traveler (bot) joined the room.21:08:15
@nalix:matrix.orgnalix joined the room.21:10:22
13 May 2021
@slvrsrfrr:matrix.orgslvrsrfrr joined the room.02:39:11
14 May 2021
@server_stats:nordgedanken.devServer Stats Discoverer (traveler bot) joined the room.04:07:04
16 May 2021
@black_crow:matrix.orgQuark joined the room.16:27:27

There are no newer messages yet.


Back to Room List