Given that Gödel and Pitts most likely wrote to one another (although their correspondence doesn't survive), it's very probable that they were intimately famili

Given that Gödel and Pitts most likely wrote to one another (although their correspondence doesn't survive), it's very probable that they were intimately familiar with the work of one another. There's an entire chapter dedicated to Walter Pitts in Kurt Gödel: Collected Works, Volume V.