Forum: War Ensemble BBS

Dark
Log in

Username Password

=?UTF-8?Q?Re=3A_Within_Proof_Theoretic_Semantics_G=C3=B6del=27s_G_h?==?UTF-8?Q?as_no_meaning_in_PA?=

By Tristan Wibberley on Sat Jun 27 07:53:33 2026

Latest reply by olcott on Sun Jul 5 11:33:23 2026

Re: William T. Parry gets rid of Disjunction introduction

By olcott on Fri Jun 26 08:17:16 2026

Latest reply by olcott on Sat Jul 4 23:05:14 2026

Re: Readings in (some of the) foundations of mathematics --- tree ofknowledge

By dbush on Fri Jun 26 09:20:31 2026

Latest reply by Alan Mackenzie on Sat Jul 4 17:42:39 2026

The truth about the halting problem counter-example input

By olcott on Fri Jul 3 22:11:10 2026

Latest reply by olcott on Sat Jul 4 12:16:09 2026

DAG of all general knowledge that can be expressed in Language

By olcott on Wed Jul 1 12:57:20 2026

Latest reply by Chris M. Thomasson on Wed Jul 1 18:59:40 2026

Re: Hopefully news.eternal-september.org will be back up

By s|b on Sat Jun 27 18:48:09 2026

Latest reply by olcott on Sat Jun 27 11:54:47 2026

Re: Proof Theoretic Semantics as a new Foundation for Mathematics,Logic and the Theory of Computation

By Mikko on Sat Jun 27 09:57:13 2026

Latest reply by Mikko on Sat Jun 27 09:57:13 2026

Re: Solving the Gettier cases

By Tristan Wibberley on Sat Jun 27 07:20:53 2026

Latest reply by Tristan Wibberley on Sat Jun 27 07:20:53 2026

Who's Online
Recent Visitors
- Noozle
  Sun Jul 5 10:49:10 2026
  from Noozle City via Telnet
- C0mmand0 X72
  Sun Jul 5 09:35:24 2026
  from Berlin via Telnet
- Noozle
  Sat Jul 4 10:35:48 2026
  from Noozle City via Telnet
- Noozle
  Fri Jul 3 08:41:57 2026
  from Noozle City via Telnet

System Info

Sysop:	DaiTengu
Location:	Appleton, WI
Users:	1,126
Nodes:	10 (0 / 10)
Uptime:	48:03:56
Calls:	14,414
Calls today:	2
Files:	186,400
D/L today:	10,266 files (2,783M bytes)
Messages:	2,548,811
Posted today:	1