So #Bourbaki didn't adopt the Hilbert epsilon-calculus as its foundations until July 1950. And I found the draft of the chapter making the changes!
Chevalley wrote this draft of chapter 1 of "Theory of Sets" in July 1950, and argued in a short memoranda prefacing the draft that the epsilon-calculus is the more elegant foundations which they should use, and predicate logic can be constructed atop it.
http://archives-bourbaki.ahp-numerique.fr/items/show/548
Alex Nelson /
npub15n…t3tj8
2024-01-20 22:11:42
Author Public Key
npub15nzfhltx5jwj6fgm9asmlu03rapfds3v34kptudm3q468fhcf7lslt3tj8Seen on
wss://relay.nostr.bandPublished at
2024-01-20 22:11:42Event JSON
{
"id": "d5b539af7e2ae8e6a6b80d61aff8157ec09cea0ede31fda20f3259c4fbd89aaa",
"pubkey": "a4c49bfd66a49d2d251b2f61bff1f11f4296c22c8d6c15f1bb882ba3a6f84fbf",
"created_at": 1705788702,
"kind": 1,
"tags": [
[
"t",
"bourbaki"
],
[
"proxy",
"https://mathstodon.xyz/users/thmprover/statuses/111790568374827691",
"activitypub"
]
],
"content": "So #Bourbaki didn't adopt the Hilbert epsilon-calculus as its foundations until July 1950. And I found the draft of the chapter making the changes!\n\nChevalley wrote this draft of chapter 1 of \"Theory of Sets\" in July 1950, and argued in a short memoranda prefacing the draft that the epsilon-calculus is the more elegant foundations which they should use, and predicate logic can be constructed atop it.\n\nhttp://archives-bourbaki.ahp-numerique.fr/items/show/548",
"sig": "cb02c8a5de4ad26d6c1322349b7465f1157257024c26f85b33380aca5952135f90d285c001c003ccaab11fffeb43199cce29d9d851ea0687db6ee5931339cfc0"
}