Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
constructivenews
Conversations
About
constructivenews
1–30 of 472
Mark all as read
Report abusive group
0 selected
Kreinovich, Vladik
3:32 PM
RE: Extended Deadline. CfP: 14th French Philosophy of Mathematics Workshop, Oct. 19 – 21, 2022, Nantes
May be of interest to more philosophically minded folks from our community From: CANTU TESTA Paola
unread,
RE: Extended Deadline. CfP: 14th French Philosophy of Mathematics Workshop, Oct. 19 – 21, 2022, Nantes
May be of interest to more philosophically minded folks from our community From: CANTU TESTA Paola
3:32 PM
Bahareh Afshari
Jul 4
Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022
4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 http://www.proofsociety.
unread,
Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022
4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 http://www.proofsociety.
Jul 4
Joan Moschovakis
,
andrej...@andrej.com
4
Jun 24
Re: Digest for constructivenews@googlegroups.com - 2 updates in 1 topic
Dear Joan, thank you for very nice comments which clarify much of what I enquired about. Given a
unread,
Re: Digest for constructivenews@googlegroups.com - 2 updates in 1 topic
Dear Joan, thank you for very nice comments which clarify much of what I enquired about. Given a
Jun 24
Kreinovich, Vladik
Jun 23
RE: Nerode 90 online conference June 28-29
FYI. While Anile Nerode research was mostly in classical (non-constructive) logic, as many of you
unread,
RE: Nerode 90 online conference June 28-29
FYI. While Anile Nerode research was mostly in classical (non-constructive) logic, as many of you
Jun 23
andrej...@andrej.com
,
Andrew Swan
3
Jun 21
The multi-valued Markov's principle
To show MVMP is strictly stronger than MP, note that MVMP implies the analytic version of MP for
unread,
The multi-valued Markov's principle
To show MVMP is strictly stronger than MP, note that MVMP implies the analytic version of MP for
Jun 21
Kreinovich, Vladik
May 27
RE: LOGICA 2022 -- 2nd CFP
This may be of interest to many of us -----Original Message----- From: Igor Sedlar Institute of
unread,
RE: LOGICA 2022 -- 2nd CFP
This may be of interest to many of us -----Original Message----- From: Igor Sedlar Institute of
May 27
Anders Mortberg
May 25
Workshop in honour of Thierry Coquand's 60th birthday
Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18
unread,
Workshop in honour of Thierry Coquand's 60th birthday
Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18
May 25
Kreinovich, Vladik
,
Steve Vickers
2
May 24
FW: Bourbaki and foundations
> This is not a criticism of Bishop (or anyone): I merely wish to point out that “just doing
unread,
FW: Bourbaki and foundations
> This is not a criticism of Bishop (or anyone): I merely wish to point out that “just doing
May 24
Maria Emilia Maietti
May 18
CCC2022 -September 19-23, 2022- call for contributions
CALL FOR CONTRIBUTIONS: CCC 2022: Continuity, Computability, Constructivity – From Logic to
unread,
CCC2022 -September 19-23, 2022- call for contributions
CALL FOR CONTRIBUTIONS: CCC 2022: Continuity, Computability, Constructivity – From Logic to
May 18
Kreinovich, Vladik
May 16
FW: FLoC 2022 Call for Student Volunteers
FYI, students volunteers are requested for Federated Logic Conference (Haifa, Israel, July 3-August
unread,
FW: FLoC 2022 Call for Student Volunteers
FYI, students volunteers are requested for Federated Logic Conference (Haifa, Israel, July 3-August
May 16
Kreinovich, Vladik
May 16
RE: Call for short papers
FYI, intuitionistic logic is one of the highlighted topics From: Alessandra Palmigiano Sent: Monday,
unread,
RE: Call for short papers
FYI, intuitionistic logic is one of the highlighted topics From: Alessandra Palmigiano Sent: Monday,
May 16
Kreinovich, Vladik
May 13
RE: CCA2022 --Call for Participation
FYI, constructive math is one of the highlighted topics From: Zheng, Xizhong Sent: Friday, May 13,
unread,
RE: CCA2022 --Call for Participation
FYI, constructive math is one of the highlighted topics From: Zheng, Xizhong Sent: Friday, May 13,
May 13
Kreinovich, Vladik
May 9
RE: CSL'23 - call for papers
FYI, constructive mathematics is one of the highlighted topics **************************************
unread,
RE: CSL'23 - call for papers
FYI, constructive mathematics is one of the highlighted topics **************************************
May 9
Andrej Bauer
May 3
A topos in which the reals are countable
Dar all, On May 12th I will give an on-line talk at the Topos Institute about a topos in which there
unread,
A topos in which the reals are countable
Dar all, On May 12th I will give an on-line talk at the Topos Institute about a topos in which there
May 3
Kreinovich, Vladik
Apr 27
FW: CiE 2022: CALL FOR INFORMAL PRESENTATIONS
FYI From: acie@acie.eu Sent: Wednesday, April 27, 2022 1:42 PM CiE 2022 Call for Informal
unread,
FW: CiE 2022: CALL FOR INFORMAL PRESENTATIONS
FYI From: acie@acie.eu Sent: Wednesday, April 27, 2022 1:42 PM CiE 2022 Call for Informal
Apr 27
Peter LeFanu Lumsdaine
Apr 19
Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*,
unread,
Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*,
Apr 19
Chuangjie Xu
Mar 28
Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022
[Apologies for multiple postings.] Autumn school "Proof and Computation" Fischbachau,
unread,
Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022
[Apologies for multiple postings.] Autumn school "Proof and Computation" Fischbachau,
Mar 28
Martin Escardo
Mar 18
Zulip group for constructive mathematics
Dear all, I've created a Zulip group for constructive mathematics: https://constructive-maths.
unread,
Zulip group for constructive mathematics
Dear all, I've created a Zulip group for constructive mathematics: https://constructive-maths.
Mar 18
Kreinovich, Vladik
,
Andrej Bauer
2
Mar 17
congratulations to Andrej Bauer!!!
Many thanks, but I thought this news made rounds already a while ago. Did the AMS make another
unread,
congratulations to Andrej Bauer!!!
Many thanks, but I thought this news made rounds already a while ago. Did the AMS make another
Mar 17
Kreinovich, Vladik
Mar 14
RE: 3rd CFP --- CCA2022
FYI From: Zheng, Xizhong Sent: Sunday, March 13, 2022 4:38 PM Third Call for Submissions Nineteenth
unread,
RE: 3rd CFP --- CCA2022
FYI From: Zheng, Xizhong Sent: Sunday, March 13, 2022 4:38 PM Third Call for Submissions Nineteenth
Mar 14
Ana Borges
Feb 18
Coq Community Survey 2022
Dear constructive mathematics enthusiasts who have used or are using the Coq proof assistant, The Coq
unread,
Coq Community Survey 2022
Dear constructive mathematics enthusiasts who have used or are using the Coq proof assistant, The Coq
Feb 18
Bhupinder Singh Anand
Feb 14
Consistent Ultrafinitist Logic
Dear Michal, 1. Apropos your paper, 'Consistent Ultrafinitist Logic', posted by Vladik
unread,
Consistent Ultrafinitist Logic
Dear Michal, 1. Apropos your paper, 'Consistent Ultrafinitist Logic', posted by Vladik
Feb 14
Kreinovich, Vladik
Feb 13
FW: Consistent ultrafinitist logic
FYI -----Original Message----- From: Michał J Gajda [mailto:mjgajda@gmail.com] Sent: Sunday, February
unread,
FW: Consistent ultrafinitist logic
FYI -----Original Message----- From: Michał J Gajda [mailto:mjgajda@gmail.com] Sent: Sunday, February
Feb 13
Kreinovich, Vladik
Feb 7
FW: LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
May be of interest to some of us From: jean-yves beziau Sent: Sunday, February 6, 2022 3:03 PM After
unread,
FW: LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
May be of interest to some of us From: jean-yves beziau Sent: Sunday, February 6, 2022 3:03 PM After
Feb 7
Martin Escardo
Feb 2
PhD opportunities in HoTT/UF and related areas
We are inviting applications for PhD studentships in the Theory Group [1] at the University of
unread,
PhD opportunities in HoTT/UF and related areas
We are inviting applications for PhD studentships in the Theory Group [1] at the University of
Feb 2
Kreinovich, Vladik
Jan 30
FW: CCA2022 -- Call for Submissions
FYI, constructive analysis is one of the highlighted topics From: Zheng, Xizhong [mailto:zhengx@
unread,
FW: CCA2022 -- Call for Submissions
FYI, constructive analysis is one of the highlighted topics From: Zheng, Xizhong [mailto:zhengx@
Jan 30
Kreinovich, Vladik
Jan 11
RE: CiE 2022: Third CfP, submission deadline extended
FYI, constructive math is one of the highlighted topics From: Johanna Franklin Sent: Monday, January
unread,
RE: CiE 2022: Third CfP, submission deadline extended
FYI, constructive math is one of the highlighted topics From: Johanna Franklin Sent: Monday, January
Jan 11
Kreinovich, Vladik
12/22/21
RE: LICS 2022 Call for Papers
Reminder, the deadline is soon, and constructive math is one of the highlighted topics -----Original
unread,
RE: LICS 2022 Call for Papers
Reminder, the deadline is soon, and constructive math is one of the highlighted topics -----Original
12/22/21
Kreinovich, Vladik
12/21/21
RE: CiE 2022: Second CfP
FYI, there will be a special session on constructive math ================================ CiE 2022:
unread,
RE: CiE 2022: Second CfP
FYI, there will be a special session on constructive math ================================ CiE 2022:
12/21/21
Paul Taylor
,
Steve Vickers
3
10/29/21
a gem from Mirimanoff 1920
Dear Steve, > The question can be unwrapped a bit. > We are given a real s > 1/2, and seek x
unread,
a gem from Mirimanoff 1920
Dear Steve, > The question can be unwrapped a bit. > We are given a real s > 1/2, and seek x
10/29/21