I can hardly tell how much I like that comment! ;-) But it takes quite some background to appreciate the correspondence between logic, set theory, type systems, and the barbers paradox.
Dierk > Am 08.10.2016 um 11:49 schrieb Ingo W. <ingo.wechs...@gmail.com>: > > A barber in a small village boasts about himself that he shaves all men that > do not shave themselves. > > If we assume the barber shaves himself, we must conclude he doesn't shave > himself. > If we assume the barber doesn't shave himself, we must conclude he does shave > himself. > > Go figure. > > > Am Samstag, 8. Oktober 2016 10:30:38 UTC+2 schrieb Russel Winder: >> >> I was tinkering with the factorial code tests, I am not sure the actual >> code matters, and I got this error message: >> >> E >> /home/users/russel/Progs/Applications/Factorial/Frege/src/test/frege/factorial_test.fr:17: >> type error in expression >> iterative >> type is : Int >> expected: Integer >> E >> /home/users/russel/Progs/Applications/Factorial/Frege/src/test/frege/factorial_test.fr:17: >> type error in expression >> iterative >> type is : Integer >> expected: Int >> >> Methinks we have a new mini-episode for Joseph K in The Trial. >> >> -- >> Russel. >> ============================================================================= >> >> Dr Russel Winder t: +44 20 7585 2200 voip: >> sip:russel.win...@ekiga.net >> 41 Buckmaster Road m: +44 7770 465 077 xmpp: rus...@winder.org.uk >> London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder > > -- > You received this message because you are subscribed to the Google Groups > "Frege Programming Language" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to frege-programming-language+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
