19/07/11 05:50:32.50 Ars3Kum0.net
>>55
SSレポートが、無限を使用する排中律ということで落ち着いてきたなら、
その後は遠アーベルでStixが意見して、Scholzeはcc:なのでは？
来年RIMS初回集会のStixの招待講演までと、その後がヤマなのかな。
19/07/11 05:50:32.50 Ars3Kum0.net
>>55
SSレポートが、無限を使用する排中律ということで落ち着いてきたなら、
その後は遠アーベルでStixが意見して、Scholzeはcc:なのでは？
来年RIMS初回集会のStixの招待講演までと、その後がヤマなのかな。