Tag Info

decidability Questions

106	2	Scott Aaronson 11.5k1 gold badge53 silver badges67 bronze badges
93	7	Marzio De Biasi 18.9k2 gold badges45 silver badges114 bronze badges
57	1	Eric Lippert 6714 silver badges4 bronze badges
51	2	Boris Bukh 7877 silver badges15 bronze badges
31	4	cody 11.7k34 silver badges66 bronze badges
30	2	Thomas Klimpel 2,11312 silver badges42 bronze badges
29	1	Magnus Find 6304 silver badges13 bronze badges
28	3	Joshua Grochow 30.7k4 gold badges107 silver badges192 bronze badges
26	2	Denis 4,88221 silver badges41 bronze badges
25	2	Neel Krishnaswami 27.2k81 silver badges154 bronze badges
23	1	Mangara 5062 silver badges6 bronze badges
21	1	Peter Shor 21.6k3 gold badges82 silver badges119 bronze badges
20	1	Mohammad Al-Turkistany 13.9k4 gold badges51 silver badges133 bronze badges
17	1	Joseph O'Rourke 2,16518 silver badges38 bronze badges
17	2	Shaull 3,2421 gold badge13 silver badges23 bronze badges
16	1	András Salamon 14k3 gold badges56 silver badges141 bronze badges
16	2	Hermann Gruber 3,9901 gold badge23 silver badges50 bronze badges
13	2	Jeffrey Shallit 6,58827 silver badges36 bronze badges
12	3	Yuval Filmus 13.3k1 gold badge41 silver badges88 bronze badges
11	1	Sasho Nikolov 16.7k2 gold badges55 silver badges99 bronze badges

92	1	Lev Reyzin♦ 10.1k11 gold badges55 silver badges96 bronze badges
57	2	Joseph O'Rourke 2,16518 silver badges38 bronze badges
25	3	jmite 1,1308 silver badges27 bronze badges
19	1	Jára Cimrman 2851 silver badge6 bronze badges
18	1	J.-E. Pin 3,83021 silver badges39 bronze badges
18	1	Petr Pudlák 1,46110 silver badges22 bronze badges
18	1	robinson 4302 silver badges12 bronze badges
15	2	jbapple 4,2892 gold badges24 silver badges49 bronze badges
13	2	Shaull 3,2421 gold badge13 silver badges23 bronze badges
12	1	Abuzer Yakaryilmaz 2,6601 gold badge15 silver badges36 bronze badges
11	1	Nicolas Perrin 1781 silver badge9 bronze badges
9	1	domotorp 9,27932 silver badges83 bronze badges
9	1	Trylks 3692 silver badges9 bronze badges
9	1	veryltdbeard 484 bronze badges
9	1	Matthijs Steen 1637 bronze badges
9	1	Amit. S 483 bronze badges
8	1	sdcvvc 8166 silver badges17 bronze badges
8	1	David Monniaux 5322 silver badges14 bronze badges
8	1	Heinrich Ody 1463 bronze badges
6	1	Denis 4,88221 silver badges41 bronze badges