[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

2022-06-09: Search is working again.
2022-05-12: Ghost posting is now globally disabled. 2022: Due to resource constraints, /g/ and /tg/ will no longer be archived or available. Other archivers continue to archive these boards.Become a Patron!

# /sci/ - Science & Math

## Search:

[ Toggle deleted replies ]
 >> /sqt/ Stupid Questions Thread  Anonymous Fri Dec 15 01:17:00 2017 No.9368782 [View] File: 7 KB, 225x225, hzCGWXU.jpg [View same] [iqdb] [saucenao] [google] Previous: >>9357587Anyone know lambda calculus?true = $\lambda t. \lambda f. t$fls = $\lambda t. \lambda f. f$Reduce the following lambda term: tru a bSuppose the logical and operator was defined as the following: and = $\lambda b. \lambda c. b c fls$Reduce the term: and tru tru.
 >> Anonymous Thu Nov 2 22:46:43 2017 No.9272389 [View] File: 7 KB, 225x225, hzCGWXU.jpg [View same] [iqdb] [saucenao] [google] Need a perfect set and a compact set such that their intersection is NOT compact.This is impossible, the intersection of two closed sets is closed (RIGHT???) and one of them (the compact one) must be bounded. So the intersection must be closed and bounded, methinks

 Navigation View posts [+24] [+48] [+96]