Stanislav Speranski, A Carnapian framework for reasoning about arbitrary natural numbers
Stanislav Speranski (Steklov Mathematical Institute), A Carnapian framework for reasoning about arbitrary natural numbers (joint work with Leon Horsten) / конференция “Формальная Философия 2023“,
8 months ago 00:57:52 1
8 months ago 00:03:44 1
8 months ago 00:01:16 1
9 months ago 06:13:56 1
9 months ago 00:10:00 1
10 months ago 00:04:28 1
10 months ago 00:02:56 1
1 year ago 00:06:06 1
1 year ago 01:32:29 1
1 year ago 00:04:19 1
3 years ago 00:06:31 1
3 years ago 00:20:08 1
3 years ago 00:06:54 1
3 years ago 00:13:33 1
3 years ago 00:06:29 1
3 years ago 00:04:41 355
4 years ago 01:15:48 8
4 years ago 01:29:38 5
4 years ago 01:18:51 11
4 years ago 01:24:38 6
4 years ago 01:27:56 3
4 years ago 01:29:28 2
4 years ago 01:26:12 58
4 years ago 01:31:57 4
