Tag Info

undecidability Questions

6	1	Laakeri 4602 silver badges6 bronze badges
4	1	Mark Dominus 1,47513 silver badges21 bronze badges
3	1	Andrej Bauer 22.8k1 gold badge51 silver badges91 bronze badges
2	1	Aaron Rotenberg 5452 silver badges13 bronze badges
2	1	J.-E. Pin 5,17814 silver badges32 bronze badges
2	1	Apass.Jack 19.7k2 gold badges14 silver badges50 bronze badges
2	1	Noah Schweber 1,1443 silver badges11 bronze badges
2	1	Alexey Romanov 2,47211 silver badges17 bronze badges
2	1	André Souza Lemos 2,9911 gold badge8 silver badges26 bronze badges
2	2	Yuval Filmus 214k16 gold badges204 silver badges376 bronze badges

379	128	Yuval Filmus 214k16 gold badges204 silver badges376 bronze badges
179	57	David Richerby 76.1k17 gold badges117 silver badges208 bronze badges
139	20	Ran G. 18.5k3 gold badges48 silver badges98 bronze badges
137	21	Raphael♦ 66.6k26 gold badges146 silver badges327 bronze badges
137	1	JeffE 7,9611 gold badge30 silver badges47 bronze badges
123	18	Andrej Bauer 22.8k1 gold badge51 silver badges91 bronze badges
102	23	Shaull 13.7k1 gold badge21 silver badges50 bronze badges
79	9	Kaveh 19.8k3 gold badges45 silver badges103 bronze badges
72	18	Hendrik Jan 23.1k1 gold badge30 silver badges78 bronze badges
67	16	D.W.♦ 112k14 gold badges144 silver badges321 bronze badges
62	25	Rick Decker 13.2k3 gold badges31 silver badges47 bronze badges
60	9	Gilles 'SO- stop being evil' 37.4k7 gold badges101 silver badges166 bronze badges
55	7	cody 7,24617 silver badges43 bronze badges
52	11	Patrick87 11.9k1 gold badge35 silver badges72 bronze badges
48	11	babou 18k28 silver badges69 bronze badges
43	19	Apass.Jack 19.7k2 gold badges14 silver badges50 bronze badges
42	9	A.Schulz 11.4k1 gold badge33 silver badges59 bronze badges
41	7	Luke Mathieson 16.3k3 gold badges46 silver badges78 bronze badges
36	9	Ariel 11k1 gold badge14 silver badges33 bronze badges
34	10	Draconis 6,4471 gold badge10 silver badges21 bronze badges

3	1	Pengibaby 334 bronze badges
3	1	wjmccann 4273 silver badges8 bronze badges
2	1	Thomas Klimpel 5,00519 silver badges55 bronze badges
1	1	user343434343434343434 132 bronze badges
1	1	kansas_bulldog382 233 bronze badges
1	2	Gianni Spear 1875 bronze badges
1	1	Oren 1656 bronze badges

132	1	Raphael♦ 66.6k26 gold badges146 silver badges327 bronze badges
64	4	user5507 1,9414 gold badges18 silver badges38 bronze badges
62	5	jmite 25.8k3 gold badges50 silver badges105 bronze badges
55	4	Jozef 1,6172 gold badges12 silver badges20 bronze badges
42	1	Victor 6155 silver badges5 bronze badges
38	3	user118967 6015 silver badges11 bronze badges
37	2	templatetypedef 7,6441 gold badge20 silver badges49 bronze badges
37	1	MathematicalOrchid 7376 silver badges10 bronze badges
33	4	Hernan_eche 7247 silver badges19 bronze badges
31	2	Ran G. 18.5k3 gold badges48 silver badges98 bronze badges
30	1	Kaveh 19.8k3 gold badges45 silver badges103 bronze badges
25	1	BlueRaja - Danny Pflughoeft 1,0338 silver badges13 bronze badges
20	1	Gilles 'SO- stop being evil' 37.4k7 gold badges101 silver badges166 bronze badges
18	1	Jukka Suomela 1,87413 silver badges24 bronze badges
18	2	Thomas Klimpel 5,00519 silver badges55 bronze badges
18	1	Ken Li 2,8782 gold badges18 silver badges34 bronze badges
17	1	Gigili 2,0232 gold badges17 silver badges28 bronze badges
16	3	slnsoumik 1971 silver badge9 bronze badges
16	1	Shufflepants 2631 silver badge7 bronze badges
16	2	bongubj 4915 silver badges11 bronze badges